A small OS demonstration based on the seL4® microkernel and its tutorials.
References for the seL4® programming tutorials
- https://github.com/seL4/sel4-tutorials/blob/master/tutorials/mapping/mapping.md
- https://github.com/seL4/sel4-tutorials/blob/master/tutorials/untyped/untyped.md
- https://github.com/seL4/sel4-tutorials/blob/master/tutorials/threads/threads.md
- https://github.com/seL4/sel4-tutorials/blob/master/tutorials/interrupts/interrupts.md
- https://github.com/seL4/sel4-tutorials/blob/master/tutorials/dynamic-2/dynamic-2.md
- https://github.com/seL4/sel4-tutorials/blob/master/libsel4tutorials/src/alloc.c