[seL4] VM and VMM Communication for ARM