Employing a virtual machine architecture in a mobile device. For example, the OK Labs product line from General Dynamics features the OKL4 "microvisor," used in more than two billion devices. Based on the L4 microkernel family, OKL4 is widely employed for mobile virtualization. See
virtual machine.