/src/config/defaults/

• ../
• efi.h
• linux.h
• pcbios.h
• sbi.h