l4re + l4linux on aarch64 - raspi4

Hello l4-hackers,

I tried to use l4re hypervisor on raspberry pi 4. Prebuild image works but
not for my needs.
In fact, I want to use l4re running on raspberry pi 4 (aarch64) with 1 or
more tasks (such hello, ...) and 1 linux 64 bits vm like debian, fedora or
opensuse.

When I try to compile :
- x86_64 (native) : fiasco, l4re, l4linux no problem,
- rpi3, 32bit (cross compile) : fiasco, l4re, l4linux no problem
- rpi4 64bit (cross compile) : fiasco l4re OK but nothing for l4linux :-(

In this last case, obj/l4linux directory is empty. Nothing created. Normal?

Do you have some advices for me please?

Thank you very much
Matthieu.

_______________________________________________
l4-hackers mailing list
[email protected]
https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers