A kernel that supports the running of a number of virtual machines on the same system. Each virtual machine is able to use the underlying hardware as if it were the only machine present and ran its own operating system. This is a key enabling technology for the new cloud service industry, as well as being the basis for integrated modular avionics.