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?

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. 

Thanks in advance,

Dejan