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.

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...
 

Macro Definition Documentation

◆ l4util_kip_for_each_feature

#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().

Definition at line 61 of file kip.h.

Function Documentation

◆ l4util_kip_kernel_abi_version()

unsigned long l4util_kip_kernel_abi_version ( l4_kernel_info_t )

Return kernel ABI version.

Returns
Kernel ABI version.

◆ l4util_kip_kernel_has_feature()

int l4util_kip_kernel_has_feature ( l4_kernel_info_t ,
const char *  str 
)

Check if kernel supports a feature.

Parameters
strFeature name to check.
Returns
1 if the kernel supports the feature, 0 if not.

Checks the feature field in the KIP for the given string.

◆ l4util_kip_kernel_is_ux()

int l4util_kip_kernel_is_ux ( l4_kernel_info_t )

Return whether the kernel is running natively or under UX.

Returns
1 when running under UX, 0 if not running under UX.
Examples
examples/sys/ux-vhw/main.c.