[seL4] Fwd: camkes vm question