Based on the L4 microkernel family, OKL4 is widely employed for mobile virtualization. See virtual machine. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction requires permission.