Hi all,
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
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
l4-hackers@os.inf.tu-dresden.de