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