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.ruwrote:
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