defaults Directory Reference

Files
file	efi.h [code]
	Configuration defaults for EFI.
file	linux.h [code]
	Configuration defaults for linux.
file	pcbios.h [code]
	Configuration defaults for PCBIOS.
file	sbi.h [code]
	Configuration defaults for RISC-V SBI.