L4Re - L4 Runtime Environment
|
Go to the source code of this file.
Macros | |
#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... | |
Functions | |
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... | |