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.
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
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 adam@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
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 adam@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
l4-hackers@os.inf.tu-dresden.de