The L4 µ-Kernel Family
Navigate L4/x86 Section:
- Documentation
- Development resources
- Manual pages
- FAQ
- Download
Site Navigation:
- Overview
- Developer's bibliography
- L4 implementations and docs
- Projects and applications using L4
- L3
- Papers and reports
- What's new
Quick links:
Manpages for L4/x86 and Fiasco system calls and services
- l4_fpage_unmap -- unmap an L4 flex page
- l4_ipc_call -- usual blocking rpc
- l4_ipc_receive -- wait for a message from a specified thread
- l4_ipc_reply_and_wait -- send a reply to a client and wait for next order
- l4_ipc_reply_deceiting_and_wait -- send a deceiting message and wait for next order
- l4_ipc_send -- send a message to a thread
- l4_ipc_send_deceiting -- deceite send operation
- l4_ipc_wait -- wait for message from any source
- l4_ipc -- Overview over IPC in L4
- l4_myself -- deliver the id of the current thread
- l4_nchief -- deliver the thread id of the nearest partner of the invoker
- l4_task_new -- create or delete a task
- l4_thread_ex_regs -- read and write register values of a thread, create a thread
- l4_thread_schedule -- Define priority, timeslice length and external preempter of
- l4_thread_switch -- release the processor non-preemtively
- l4kd -- The L4 Kernel Debugger
- rmgr -- L4 System Resource Manager
Last modified: Tue Sep 23 15:57:14 2003