Re: l4re + l4linux on aarch64 - raspi4

Hi Matthieu,

On Mon Sep 06, 2021 at 22:35:25 +0200, Matthieu Fatrez wrote:
> 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?

Yes, I did not yet add L4Linux to the 64bit/rpi4 builds although it is
actually also available for arm64.

Anyway, what you saw in the prebuilt images running Linux is based on
"real" virtualizationn using Arm's virtualization extensions rather than
L4Linux which is using a different approach. I believe you should be
looking into this, based on uvmm's capabilities to run unmodified Linux.


Adam