Index of /ipxe
Name
Last modified
Size
Parent Directory
-
debian.ipxe
2018-09-03 14:05
147
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
preseed.cfg
2019-02-05 19:06
6.0K
Apache/2.4.62 (Debian) Server at deb.dsi.tecnico.ulisboa.pt Port 443