Communications of the ACM
Are virtual-machine monitors microkernels done right?
ACM SIGOPS Operating Systems Review
Are virtual machine monitors microkernels done right?
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
The role of virtualization in embedded systems
Proceedings of the 1st workshop on Isolation and integration in embedded systems
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Hypervisors for consumer electronics
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
| Hi-index | 0.00 |
Virtualization of multi-core hardware is becoming important in enterprise computing using hypervisors such as VMware or Xen. For desktop phones, virtualization can be used to simultaneously run multiple phone OSes on the same desktop phone, and provide application isolation and security benefits. We introduce the concept of phone virtulaiization and describe benefits and use cases for users. We then evaluate hypervisor versus microkernel work in the embedded space, and select a well-known embedded microkernel as the virtualization layer. We then present some results to adding a virtualization layer to phone platform representative of enterprise desktop phones. We have ported the OKI4 micro kernel to the ARM 1176 and tested it on an ARM emulator with an existing embedded Linux kernel. We discuss use cases, lessons learned, and next steps.