l4/pkg/l4sys/README

   1 Basic L4 IPC/Syscall Bindings and Type Definitions.
   2
   3 This package defines the application binary interface (ABI) to the L4 kernel.
   4 Currently there are two versions supported: Version 2 as originally implemented
   5 by Jochen Liedtke and Version X.0 as defined in the appropriate specification
   6 and implemented by the L4Ka Hazelnut kernel. Note that the latter interface
   7 is emulated using a few assembler instructions. This makes it possible to use
   8 the same source code for the two different versions. To support plain X.0
   9 functionality we have to create additional IPC bindings which take three
  10 DWord arguments to be transferred.