This reference guide provides an insight to the Codezero Microkernel's raw system call interface and system-related data structures. In practice, system calls and system-related data structures are managed via a thin userspace library called libl4.
As a result, the semantics of each system call is only briefly described here. Each system call is presented with accompanying libl4 convenience functions in order to quicken the learning process. If you have any questions on the specifics of each system call, please ask on our mailing list.