L4Re - L4 Runtime Environment
#include <l4/sys/kip.h>
#include <l4/sys/compiler.h>
+ Include dependency graph for kip.h:

Go to the source code of this file.


#define l4util_kip_for_each_feature(s)   for (s += strlen(s) + 1; *s; s += strlen(s) + 1)
 Cycle through kernel features given in the KIP. More...


int l4util_kip_kernel_is_ux (l4_kernel_info_t *)
 Return whether the kernel is running native or under UX. More...
int l4util_kip_kernel_has_feature (l4_kernel_info_t *, const char *str)
 Check if kernel supports a feature. More...
unsigned long l4util_kip_kernel_abi_version (l4_kernel_info_t *)
 Return kernel ABI version. More...
l4_addr_t l4util_memdesc_vm_high (l4_kernel_info_t *kinfo)
 Return end of virtual memory. More...