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