Index of /L4Re/download/ipcbench/amd64
Name
Last modified
Size
Description
Parent Directory
-
l4re_ipcbench-20250602.elf
2025-06-03 11:55
3.9M
l4re_ipcbench.efi
2024-08-16 14:43
3.6M
l4re_ipcbench.elf32
2024-08-16 14:43
3.7M
Apache/2.4.66 (Unix) OpenSSL/3.5.4 SVN/1.14.2 PHP/8.4.16 Server at wwwos.inf.tu-dresden.de Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/fancy-index/icons/back.svg){kind=icon}
![[ ]](/fancy-index/icons/file-text.svg){kind=icon}