[seL4] Running multiple VMs under ARM and C++ under SeL4?