Re: l4re + l4linux on aarch64 - raspi4

Hi,

On Thu Sep 09, 2021 at 16:01:18 +0200, Matthieu Fatrez wrote:
> Thanks Adam. I will try to use uvmm. 
> 
> Do you plan to have the 64bit/rpi4 ready? And when if planned. 

It is so far that VMs run, e.g., the VM examples will also run on the
rpi4.


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

Adam
-- 
Adam                 [email protected]
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

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