| Power Developer https://powerdeveloper.org/forums/ |
|
| L4 microkernel - OKL4 https://powerdeveloper.org/forums/viewtopic.php?f=25&t=1661 |
Page 1 of 1 |
| Author: | bbrv [ Mon Jan 26, 2009 7:04 am ] |
| Post subject: | L4 microkernel - OKL4 |
Hi, have a look: http://www.ok-labs.com/ OK Labs has a close relationship with ARM. They have Android running in a VM, and *any other OS* in another VM. This could be interesting for the i.MX515. Citrix invested in their latest funding round. http://www.linuxdevices.com/news/NS2032670938.html R&B :) |
|
| Author: | czp [ Wed Jan 28, 2009 2:11 am ] |
| Post subject: | |
Wow! Looks like my favorite Xen (now owned by Citrix), just a lot more light weight. Would be interesting even with two Linux instances: a media player and a media server instance running on the same box. Each could be kept as simple as possible and upgraded independent of each other. |
|
| Page 1 of 1 | All times are UTC-06:00 |
| Powered by phpBB® Forum Software © phpBB Group http://www.phpbb.com/ |
|