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 natively 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... | |
#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.
Cycles through all KIP kernel feature strings. s must be a character pointer (char const *) initialized with l4_kip_version_string().
unsigned long l4util_kip_kernel_abi_version | ( | l4_kernel_info_t * | ) |
Return kernel ABI version.
int l4util_kip_kernel_has_feature | ( | l4_kernel_info_t * | , |
const char * | str | ||
) |
Check if kernel supports a feature.
str | Feature name to check. |
Checks the feature field in the KIP for the given string.
int l4util_kip_kernel_is_ux | ( | l4_kernel_info_t * | ) |
Return whether the kernel is running natively or under UX.