Scheduling Context Capabilities for the L4Re Microkernel Follow the instructions to build a L4Re snapshot from here.