Building L4Linux for ARM

Adam Lackorzynski adam at
Wed Jun 15 17:51:55 CEST 2011

On Wed Jun 15, 2011 at 16:25:37 +0100, Anna Fischer wrote:
> I have built (and successfully run) fiasco and L4Re for a Cortex-A9
> (ARMv7), RealView PBX platform. When building L4Linux now, the
> menuconfig automatically selects L4Linux as the system type, but then it
> only offers ARMv5 or ARMv6 as build type. Does that mean there is no
> support for ARMv7 in L4Linux yet?

Just take ARMv6, it does not really matter for L4Linux. For example it
would be also possible to run the v5 version in this setup (MP

Adam                 adam at

More information about the l4-hackers mailing list