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

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] l4re_vm-multi.elf32                   2025-03-04 00:07   18M  
[   ] l4re_vm-multi.efi                     2025-03-04 00:07   18M  
[   ] l4re_vm-multi-p2p.elf32               2025-03-04 00:07   18M  
[   ] l4re_vm-multi-p2p.efi                 2025-03-04 00:07   18M  
[   ] l4re_vm-basic.elf32                   2025-03-04 00:07   18M  
[   ] l4re_vm-basic.efi                     2025-03-04 00:07   18M  
[   ] l4re_vm-basic-pci.elf32               2025-03-04 00:07   21M  
[   ] l4re_vm-basic-pci.efi                 2025-03-04 00:07   21M  
[   ] l4re_ipcbench.elf32                   2025-03-04 00:07  4.1M  
[   ] l4re_ipcbench.efi                     2025-03-04 00:07  4.0M  
[   ] l4re_hello.elf32                      2025-03-04 00:07  2.8M  
[   ] l4re_hello.efi                        2025-03-04 00:07  2.7M  
[   ] l4re_hello-shared.elf32               2025-03-04 00:07  3.7M  
[   ] l4re_hello-shared.efi                 2025-03-04 00:07  3.6M  
[   ] l4re_hello-cfg.elf32                  2025-03-04 00:07  3.4M  
[   ] l4re_hello-cfg.efi                    2025-03-04 00:07  3.2M  
[   ] l4re_hello-2.elf32                    2025-03-04 00:07  3.4M  
[   ] l4re_hello-2.efi                      2025-03-04 00:07  3.2M  
[   ] l4re_framebuffer-example.elf32        2025-03-04 00:07  7.3M  
[   ] l4re_framebuffer-example.efi          2025-03-04 00:07  7.2M  
[   ] l4re_L4Linux-mag.elf32                2025-03-04 00:07   23M  
[   ] l4re_L4Linux-mag.efi                  2025-03-04 00:07   23M  
[   ] l4re_L4Linux-basic.elf32              2025-03-04 00:07   19M  
[   ] l4re_L4Linux-basic.efi                2025-03-04 00:07   19M
Apache/2.4.63 (Unix) OpenSSL/3.0.15 SVN/1.14.2 PHP/8.2.27 Server at os.inf.tu-dresden.de Port 443