L4Re Operating System Framework
Interface and Usage Documentation
|
Go to the source code of this file.
Macros | |
#define | l4util_kip_for_each_feature(s) l4_kip_for_each_feature(s) |
Cycle through kernel features given in the KIP. | |
Functions | |
int | l4util_kip_kernel_is_ux (l4_kernel_info_t const *k) |
Return whether the kernel is running natively or under UX. | |
int | l4util_kip_kernel_has_feature (l4_kernel_info_t const *k, char const *str) |
Check if kernel supports a feature. | |
unsigned long | l4util_kip_kernel_abi_version (l4_kernel_info_t const *k) |
Return kernel ABI version. | |