[seL4] vmm documentation