Nokia N900 and Fiasco.OC/l4re

Valery V. Sedletski _valerius at
Wed Jun 29 07:01:06 CEST 2011

On Wed, 29 Jun 2011 01:00:20 -0400, Rahul Ramasubramanian wrote:

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

It seems, I found what I need in Fiasco configuration: ARM Realview emulation baseboard, ARM Cortex A8 CPU,
but don't see PB11mpcore in the list (maybe, the rest of supported boards are in configs, but not present in the configurator?)


More information about the l4-hackers mailing list