Index of /L4Re/download/snapshots/pre-built-images/amd64
Name
Last modified
Size
Description
Parent Directory
-
l4re_L4Linux-mag.elf32
2024-08-24 16:54
23M
l4re_L4Linux-mag.efi
2024-08-24 16:54
23M
l4re_vm-basic-pci.elf32
2024-08-24 16:54
21M
l4re_vm-basic-pci.efi
2024-08-24 16:54
21M
l4re_L4Linux-basic.elf32
2024-08-24 16:54
19M
l4re_L4Linux-basic.efi
2024-08-24 16:54
19M
l4re_vm-multi-p2p.elf32
2024-08-24 16:54
18M
l4re_vm-multi-p2p.efi
2024-08-24 16:54
18M
l4re_vm-multi.elf32
2024-08-24 16:54
18M
l4re_vm-multi.efi
2024-08-24 16:54
18M
l4re_vm-basic.elf32
2024-08-24 16:54
18M
l4re_vm-basic.efi
2024-08-24 16:54
18M
l4re_framebuffer-example.elf32
2024-08-24 16:54
7.2M
l4re_framebuffer-example.efi
2024-08-24 16:54
7.1M
l4re_ipcbench.elf32
2024-08-24 16:54
3.7M
l4re_hello-shared.elf32
2024-08-24 16:54
3.7M
l4re_ipcbench.efi
2024-08-24 16:54
3.6M
l4re_hello-shared.efi
2024-08-24 16:54
3.6M
l4re_hello-cfg.elf32
2024-08-24 16:54
3.3M
l4re_hello-2.elf32
2024-08-24 16:54
3.3M
l4re_hello-cfg.efi
2024-08-24 16:54
3.2M
l4re_hello-2.efi
2024-08-24 16:54
3.2M
l4re_hello.elf32
2024-08-24 16:54
2.7M
l4re_hello.efi
2024-08-24 16:54
2.6M
Apache/2.4.62 (Unix) OpenSSL/3.0.15 SVN/1.14.2 PHP/8.2.26 Server at os.inf.tu-dresden.de Port 80