How-to guide for seL4

This guide provides links to the seL4 tutorial solutions as a quick references for seL4 calls and methods.

Capabilities

• Calculate the size of a CSpace
• Copy a capability between CSlots
• Delete a capability
• Suspend a thread

Untyped

• Create an untyped capability
• Create a TCB object
• Create an endpoint object
• Create a notification object
• Delete an object

Mapping

• Map a page directory
• Map a page table
• Remap a page
• Unmap a page

Threads

• Configure a TCB
• Change the priority of a thread
• Set initial register state
• Start the thread
• Set the arguments of a thread
• Resolve a fault

IPC

• Use capability transfer to send the badged capability
• Get a message
• Reply and wait
• Save a reply and store reply capabilities

Notifications

• Set up shared memory
• Signalling
• Differentiate signals

Interrupts

• Invoke IRQ control
• Set NTFN
• Acknowledge an interrupt

Fault handling

• Set up an endpoint for thread fault IPC messages
• Receive an IPC message from the kernel
• Get information about a thread fault
• Handle a thread fault
• Resume a faulting thread

MCS

• Set up a periodic thread
• Unbind a scheduling context
• Experiment with sporadic tasks
• Use passive servers
• Configure fault endpoints