Index of /ipxe
Name
Last modified
Size
Parent Directory
-
initrd.gz
2018-07-11 04:19
24M
linux
2018-07-11 04:19
4.0M
netboot.tar.gz
2018-07-11 04:19
29M
debian.ipxe
2018-09-03 14:05
147
preseed.cfg
2019-02-05 19:06
6.0K
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443