Arto's Notes re: seL4