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

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] l4re_L4Linux-basic.efi                2025-11-23 12:08   20M  
[   ] l4re_L4Linux-basic.elf                2025-11-23 12:08   20M  
[   ] l4re_L4Linux-mag.efi                  2025-11-23 12:08   23M  
[   ] l4re_L4Linux-mag.elf                  2025-11-23 12:08   24M  
[   ] l4re_framebuffer-example.efi          2025-11-23 12:08  7.7M  
[   ] l4re_framebuffer-example.elf          2025-11-23 12:08  7.7M  
[   ] l4re_hello-2.efi                      2025-11-23 12:08  3.6M  
[   ] l4re_hello-2.elf                      2025-11-23 12:08  3.7M  
[   ] l4re_hello-cfg.efi                    2025-11-23 12:08  3.6M  
[   ] l4re_hello-cfg.elf                    2025-11-23 12:08  3.7M  
[   ] l4re_hello-shared.efi                 2025-11-23 12:08  3.9M  
[   ] l4re_hello-shared.elf                 2025-11-23 12:08  4.0M  
[   ] l4re_hello.efi                        2025-11-23 12:08  3.0M  
[   ] l4re_hello.elf                        2025-11-23 12:08  3.1M  
[   ] l4re_ipcbench.efi                     2025-11-23 12:08  4.4M  
[   ] l4re_ipcbench.elf                     2025-11-23 12:08  4.4M  
[   ] l4re_vm-basic-pci.efi                 2025-11-23 12:08   21M  
[   ] l4re_vm-basic-pci.elf                 2025-11-23 12:08   21M  
[   ] l4re_vm-basic.efi                     2025-11-23 12:08   18M  
[   ] l4re_vm-basic.elf                     2025-11-23 12:08   18M  
[   ] l4re_vm-multi-p2p.efi                 2025-11-23 12:08   19M  
[   ] l4re_vm-multi-p2p.elf                 2025-11-23 12:08   19M  
[   ] l4re_vm-multi.efi                     2025-11-23 12:08   19M  
[   ] l4re_vm-multi.elf                     2025-11-23 12:08   19M
Apache/2.4.66 (Unix) OpenSSL/3.0.17 SVN/1.14.2 PHP/8.3.22 Server at os.inf.tu-dresden.de Port 80