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.