Power Developer • L4 microkernel

Unanswered topics | Active topics

Board index » »

All times are UTC-06:00

L4 microkernel - OKL4

Post new topic Reply to topic

Page 1 of 1

[ 2 posts ]

Print view

Previous topic | Next topic

Author

Message

bbrv

Post subject: L4 microkernel - OKL4

PostPosted: Mon Jan 26, 2009 7:04 am

Offline

Genesi

Joined: Fri Sep 24, 2004 1:39 am
Posts: 1422

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 :)

_________________
http://bbrv.blogspot.com

Top

Profile

Reply with quote

czp

Post subject:

PostPosted: Wed Jan 28, 2009 2:11 am

Offline

Joined: Thu Jul 28, 2005 12:41 am
Posts: 1066

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.

_________________
CzP
http://czanik.blogs.balabit.com/