Hiš
AFAIK, L4linux+Fiasco+ L4RE curently only supports 3-4 platforms. PB11mpcore is one of them, you can find the rest in the build configuration of the carious components.š
But I am sure that it can be tweaked to support the platform you mention , because generic arm v5 supportšexists.
I may be wrong, so please verify with others before you proceed.
Rahul


On Tue, Jun 28, 2011 at 11:39 PM, Valery V. Sedletski <_valerius@mail.ru> wrote:
On Wed, 29 Jun 2011 15:55:15 +1300 (MSD), Valery V. Sedletski wrote:

>Hi all
>
>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).

and it is based on TI OMAP 3430 SoC (accordind to wikipedia: http://en.wikipedia.org/wiki/Nokia_N900)

With best regards,
valery



_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers