Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees