Introduction   API Reference   Files   Index  

kernel.h File Reference

Kernel Info Page (KIP). More...

#include <l4/sys/types.h>

Go to the source code of this file.

Data Structures

struct  l4_region_t
struct  l4_kernel_info_t
 L4 Kernel Info Page. More...

Defines

#define L4_KERNEL_INFO_MAGIC   (0x4BE6344CL)
 Kernel Info Page identifier ("L4ľK").

Functions

int l4_kernel_info_version_offset (l4_kernel_info_t *kip)
 Return offset in bytes of version_strings relative to the KIP base.


Detailed Description

Kernel Info Page (KIP).

Definition in file kernel.h.


Fiasco/L4 System Call C-Bindings Reference Manual,  © 1996-2008