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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]l4re_L4Linux-basic.elf322024-08-24 16:54 19M 
[   ]l4re_L4Linux-mag.elf322024-08-24 16:54 23M 
[   ]l4re_framebuffer-example.elf322024-08-24 16:54 7.2M 
[   ]l4re_hello-2.elf322024-08-24 16:54 3.3M 
[   ]l4re_hello-cfg.elf322024-08-24 16:54 3.3M 
[   ]l4re_hello-shared.elf322024-08-24 16:54 3.7M 
[   ]l4re_hello.elf322024-08-24 16:54 2.7M 
[   ]l4re_ipcbench.elf322024-08-24 16:54 3.7M 
[   ]l4re_vm-basic-pci.elf322024-08-24 16:54 21M 
[   ]l4re_vm-basic.elf322024-08-24 16:54 18M 
[   ]l4re_vm-multi-p2p.elf322024-08-24 16:54 18M 
[   ]l4re_vm-multi.elf322024-08-24 16:54 18M 
[   ]l4re_L4Linux-basic.efi2024-08-24 16:54 19M 
[   ]l4re_L4Linux-mag.efi2024-08-24 16:54 23M 
[   ]l4re_framebuffer-example.efi2024-08-24 16:54 7.1M 
[   ]l4re_hello-2.efi2024-08-24 16:54 3.2M 
[   ]l4re_hello-cfg.efi2024-08-24 16:54 3.2M 
[   ]l4re_hello-shared.efi2024-08-24 16:54 3.6M 
[   ]l4re_hello.efi2024-08-24 16:54 2.6M 
[   ]l4re_ipcbench.efi2024-08-24 16:54 3.6M 
[   ]l4re_vm-basic-pci.efi2024-08-24 16:54 21M 
[   ]l4re_vm-basic.efi2024-08-24 16:54 18M 
[   ]l4re_vm-multi-p2p.efi2024-08-24 16:54 18M 
[   ]l4re_vm-multi.efi2024-08-24 16:54 18M 

Apache/2.4.62 (Unix) OpenSSL/3.0.15 SVN/1.14.2 PHP/8.2.26 Server at os.inf.tu-dresden.de Port 80