Index of /boot/ipxe/src/config/defaults

	Name	Last modified	Size	Description
	Parent Directory		-
	pcbios.h	2020-03-09 22:44	1.2K
	linux.h	2020-03-09 22:44	466
	efi.h	2020-03-09 22:44	633