GENODE on N900 possible ?
 

Do you think will be possibile to see a porting of Genode + Fiasco.OC for N900 ?

It seems very interesting and ARM as cpu is supported : http://genode.org/

Re: GENODE on N900 possible ?
 

i think it's too academic... especially for phone... i wouldn't know tho.

Re: GENODE on N900 possible ?
 

But a commercial version of L4 MicroKernel (http://www.ok-labs.com/products/okl4-microvisor) seems to be precisely targetted to smartphones and tablets

I.e a quadcore ARM cpu theorically can run four OS concurrently with performance like single OS on single core and without the need of specific virtualization hardware (that only Cortex A15 has).

Of course N900 is not a quadcore, but it is only a proof of concept and it should be nice to see a N900 which runs Meego/Nemo + Maemo + Nitroid + Ubuntu + ... concurrently (even if at slow speed).

Re: GENODE on N900 possible ?
 

New versions released on 2012 are very interesting:
http://genode.org/documentation/release-notes/12.02
http://genode.org/documentation/release-notes/12.05
http://genode.org/documentation/release-notes/12.08

The latest release claims to run on ARM Hw without an underlying kernel.