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

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] l4re_L4Linux-basic.elf32 2024-08-24 16:54 19M [   ] l4re_L4Linux-mag.elf32 2024-08-24 16:54 23M [   ] l4re_framebuffer-example.elf32 2024-08-24 16:54 7.2M [   ] l4re_hello-2.elf32 2024-08-24 16:54 3.3M [   ] l4re_hello-cfg.elf32 2024-08-24 16:54 3.3M [   ] l4re_hello-shared.elf32 2024-08-24 16:54 3.7M [   ] l4re_hello.elf32 2024-08-24 16:54 2.7M [   ] l4re_ipcbench.elf32 2024-08-24 16:54 3.7M [   ] l4re_vm-basic-pci.elf32 2024-08-24 16:54 21M [   ] l4re_vm-basic.elf32 2024-08-24 16:54 18M [   ] l4re_vm-multi-p2p.elf32 2024-08-24 16:54 18M [   ] l4re_vm-multi.elf32 2024-08-24 16:54 18M [   ] l4re_L4Linux-basic.efi 2024-08-24 16:54 19M [   ] l4re_L4Linux-mag.efi 2024-08-24 16:54 23M [   ] l4re_framebuffer-example.efi 2024-08-24 16:54 7.1M [   ] l4re_hello-2.efi 2024-08-24 16:54 3.2M [   ] l4re_hello-cfg.efi 2024-08-24 16:54 3.2M [   ] l4re_hello-shared.efi 2024-08-24 16:54 3.6M [   ] l4re_hello.efi 2024-08-24 16:54 2.6M [   ] l4re_ipcbench.efi 2024-08-24 16:54 3.6M [   ] l4re_vm-basic-pci.efi 2024-08-24 16:54 21M [   ] l4re_vm-basic.efi 2024-08-24 16:54 18M [   ] l4re_vm-multi-p2p.efi 2024-08-24 16:54 18M [   ] l4re_vm-multi.efi 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