[okl4-developer] androind and microkernels

[Ben Leslie]

On Sun Dec 30, 2007 at 18:58:02 -0500, Jorge Torres wrote:
>Hi all,
>
>I wonder, and perhaps you might know better; why is it that android base OS
>is not based on u-Kernel technology?

I'm guessing that it is because most of the engineers working on the product
are familiar with Linux.

> is anyone there thinking on porting
>the whole linux-android-m3 framework to run ontop of okl4?, if so I will
>love to help on that.

Yes, although not until after Google makes the source code of the run-time
available (which, as I understand it, won't be for a while).

Cheers,

Benno