c464470d6c
This adds a dummy header with syscall prototypes with doxygen comments. The build process for the manual includes parsing these comments using doxygen. Doxygen produces an xml file which is parsed by a script to generate latex which is included in the manual. This approach was chosen over doxygen's native latex output to gain greater control over the formatting of the generated documentation, and to take advantage of existing api-formatting support in the sel4 manual. Related issue: SELFOUR-606
29 lines
590 B
C
29 lines
590 B
C
/*
|
|
* Copyright 2014, NICTA
|
|
*
|
|
* This software may be distributed and modified according to the terms of
|
|
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
|
|
* See "LICENSE_BSD2.txt" for details.
|
|
*
|
|
* @TAG(NICTA_BSD)
|
|
*/
|
|
|
|
#ifndef __LIBSEL4_SEL4_H
|
|
#define __LIBSEL4_SEL4_H
|
|
|
|
#include <sel4/types.h>
|
|
|
|
#include <sel4/syscalls.h>
|
|
#include <sel4/arch/syscalls.h>
|
|
#include <sel4/sel4_arch/syscalls.h>
|
|
|
|
#include <sel4/invocation.h>
|
|
#include <interfaces/sel4_client.h>
|
|
|
|
#include <sel4/bootinfo.h>
|
|
|
|
#include <sel4/deprecated.h>
|
|
|
|
#include <sel4/cap_rights.h>
|
|
|
|
#endif // __LIBSEL4_SEL4_H
|