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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]l4re_framebuffer-example.efi2026-03-16 19:48 7.8M 
[   ]l4re_framebuffer-example.elf2026-03-16 19:48 7.8M 
[   ]l4re_hello-2.efi2026-03-16 19:48 3.7M 
[   ]l4re_hello-2.elf2026-03-16 19:48 3.7M 
[   ]l4re_hello-cfg.efi2026-03-16 19:48 3.7M 
[   ]l4re_hello-cfg.elf2026-03-16 19:48 3.7M 
[   ]l4re_hello-shared.efi2026-03-16 19:48 4.0M 
[   ]l4re_hello-shared.elf2026-03-16 19:48 4.0M 
[   ]l4re_hello.efi2026-03-16 19:48 3.1M 
[   ]l4re_hello.elf2026-03-16 19:48 3.1M 
[   ]l4re_ipcbench.efi2026-03-16 19:48 4.4M 
[   ]l4re_ipcbench.elf2026-03-16 19:48 4.4M 
[   ]l4re_L4Linux-basic.efi2026-03-16 19:48 22M 
[   ]l4re_L4Linux-basic.elf2026-03-16 19:48 22M 
[   ]l4re_L4Linux-mag.efi2026-03-16 19:48 26M 
[   ]l4re_L4Linux-mag.elf2026-03-16 19:48 26M 
[   ]l4re_vm-basic-pci.efi2026-03-16 19:48 23M 
[   ]l4re_vm-basic-pci.elf2026-03-16 19:48 23M 
[   ]l4re_vm-basic.efi2026-03-16 19:48 20M 
[   ]l4re_vm-basic.elf2026-03-16 19:48 20M 
[   ]l4re_vm-multi-p2p.efi2026-03-16 19:48 20M 
[   ]l4re_vm-multi-p2p.elf2026-03-16 19:48 20M 
[   ]l4re_vm-multi.efi2026-03-16 19:48 20M 
[   ]l4re_vm-multi.elf2026-03-16 19:48 20M 

Apache/2.4.66 (Unix) OpenSSL/3.5.5 SVN/1.14.2 PHP/8.4.18 Server at wwwos.inf.tu-dresden.de Port 80