Raspberry Pi 3B and L4Linux

Dejan Cotra <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <CAOf42TFdAtMi67qkP2gGvp5xDjVmD8-TbtQm8oPvK1AJdQ5b_Q@mail.gmail.com> 
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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.