====== Codezero API Reference ======

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 [[http://lists.l4dev.org/mailman/listinfo/codezero-devel|mailing list]].

====== Codezero System Call Interface ======
  - [[http://www.l4dev.org/man/man7/l4_ipc.7.html|L4_IPC]]
  - [[http://www.l4dev.org/man/man7/l4_map.7.html|L4_MAP]]
  - [[http://www.l4dev.org/man/man7/l4_unmap.7.html|L4_UNMAP]]
  - [[http://www.l4dev.org/man/man7/l4_thread_control.7.html|L4_THREAD_CONTROL]]
  - [[http://www.l4dev.org/man/man7/l4_exchange_registers.7.html|L4_EXCHANGE_REGISTERS]]
  - [[http://www.l4dev.org/man/man7/l4_getid.7.html|L4_GETID]]
  - [[http://www.l4dev.org/man/man7/l4_context_switch.7.html|L4_CONTEXT_SWITCH]]
  - [[http://www.l4dev.org/man/man7/l4_time.7.html|L4_TIME]]
  - [[http://www.l4dev.org/man/man7/l4_mutex_control.7.html|L4_MUTEX_CONTROL]]
  - [[http://www.l4dev.org/man/man7/l4_capability_control.7.html|L4_CAPABILITY_CONTROL]]
  - [[http://www.l4dev.org/man/man7/l4_cache_control.7.html|L4_CACHE_CONTROL]]
  - [[http://www.l4dev.org/man/man7/l4_irq_control.7.html|L4_IRQ_CONTROL]]

[[CODEZERO_API_OLD|v0.1 API Reference Page (Deprecated)]]

====== Codezero System Structures ======
  - [[http://www.l4dev.org/man/man7/kip.7.html|KERNEL INTERFACE PAGE (KIP)]]
  - [[http://www.l4dev.org/man/man7/utcb.7.html|USER THREAD CONTROL BLOCK (UTCB)]]
  - [[http://www.l4dev.org/man/man7/capability.7.html|CAPABILITY]]