Re: l4re + l4linux on aarch64 - raspi4

Thanks Adam. I will try to use uvmm. 

Do you plan to have the 64bit/rpi4 ready? And when if planned. 

Thanks Adam

> Le 9 sept. 2021 à 08:40, Adam Lackorzynski <[email protected]> a écrit :
> 
> 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
> 
> _______________________________________________
> l4-hackers mailing list
> [email protected]
> https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

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