Index of /download/snapshots/pre-built-images/amd64

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] l4re_L4Linux-mag.elf 2026-05-17 14:49 25M [   ] l4re_L4Linux-mag.efi 2026-05-17 14:49 25M [   ] l4re_vm-basic-pci.elf 2026-05-17 14:49 23M [   ] l4re_vm-basic-pci.efi 2026-05-17 14:49 23M [   ] l4re_L4Linux-basic.elf 2026-05-17 14:49 21M [   ] l4re_L4Linux-basic.efi 2026-05-17 14:49 21M [   ] l4re_vm-multi-p2p.elf 2026-05-17 14:49 20M [   ] l4re_vm-multi-p2p.efi 2026-05-17 14:49 20M [   ] l4re_vm-multi.elf 2026-05-17 14:49 20M [   ] l4re_vm-multi.efi 2026-05-17 14:49 20M [   ] l4re_vm-basic.elf 2026-05-17 14:49 20M [   ] l4re_vm-basic.efi 2026-05-17 14:49 20M [   ] l4re_framebuffer-example.elf 2026-05-17 14:49 7.5M [   ] l4re_framebuffer-example.efi 2026-05-17 14:49 7.5M [   ] l4re_ipcbench.elf 2026-05-17 14:49 4.1M [   ] l4re_ipcbench.efi 2026-05-17 14:49 4.1M [   ] l4re_hello-shared.elf 2026-05-17 14:49 3.7M [   ] l4re_hello-shared.efi 2026-05-17 14:49 3.7M [   ] l4re_hello-cfg.elf 2026-05-17 14:49 3.4M [   ] l4re_hello-2.elf 2026-05-17 14:49 3.4M [   ] l4re_hello-cfg.efi 2026-05-17 14:49 3.4M [   ] l4re_hello-2.efi 2026-05-17 14:49 3.4M [   ] l4re_hello.elf 2026-05-17 14:49 2.8M [   ] l4re_hello.efi 2026-05-17 14:49 2.8M
Apache/2.4.67 (Unix) OpenSSL/3.5.6 SVN/1.14.2 PHP/8.4.21 Server at wwwos.inf.tu-dresden.de Port 80