DreamyOS - A Simple Operating System for the seL4 Micro Kernel Please look at dreamy.pdf for the full documentation of the system.
