L4Re Operating System Framework – Interface and Usage Documentation
Loading...
Searching...
No Matches
#include <l4/sys/kip.h>
#include <l4/sys/compiler.h>
+ Include dependency graph for kip.h:

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.