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