Nokia N900 and Fiasco.OC/l4re

[Valery V. Sedletski]

Hi all

Is there a possibility to use Fiasco.OC and L4Re with L4Linux on Nokia N900 internet tablet/phone? Which 
ARM platform it is compatible with, if so? -- It is based on ARM Cortex A8 600 MHz processor, 256 Mb RAM 
and 784 Mb swap, Maemo (Debian GNU/Linux based) platform (see 
http://www.gsmarena.com/nokia_n900-2917.php, for example).

Or, if not so, is it possible to use it with Genode or OKL4?

WBR,
valery