A microkernel virtual machine: : building security with clear interfaces