Raspberry Pi 3B and L4Linux

[Adam Lackorzynski]

Hi,

On Wed Mar 27, 2019 at 14:07:42 +0100, Dejan Cotra wrote:
> Im trying to run L4Linux on Raspberry Pi 3B.
> So far I was able to build Fiasco kernel and L4Re for Raspberry Pi 3B.
> I used aarch64-linux-gnu-gcc toolchain.
> 
> Also I was able to create Uboot image for hello config, which I
> successfully run on both qemu and Raspberry Pi 3B.
> 
> So now Im trying to build L4Linux.
> First question would be does L4Linux supparm64 architecture?

Not yet.

> If yes, any hints for configuration?
> 
> If it does not support arm64 architecture does this also mean that I have
> to build Fiasco kernel and L4Re for 32bit arm architecture.

Yes, it does mean that both Fiasco and L4Re have to be 32bit as well.


Adam