Breaking up is hard to do: security and functionality in a commodity hypervisor
integrating flexible support for security policies into the linux operating system .