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 <a...@os.inf.tu-dresden.de> 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 > > l4-hackers@os.inf.tu-dresden.de > > https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > _______________________________________________ > l4-hackers mailing list > l4-hackers@os.inf.tu-dresden.de > https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
