WIP: Add examples based on seL4 tutorials.
Signed-off-by: Ben PH benphawke@gmail.com
Based on the capabilities and untyped tutorials provided by seL4: https://docs.sel4.systems/Tutorials/
PR put in for discussion purposes: Consider the code an initial draft. I'm sure there are ways to improve.