040000 tree d8600ca7e6057bc6f61093573dec5dcd92298c6e	bits
040000 tree 4b621181d1fa34ee54159bff8810cdef1f36b1e4	efi
100644 blob 367405fd6db22074f320d67175ddfcdacdc76a81	gdbmach.h
040000 tree 93ac043afa6051aece77968ddcdc933f53a43ec4	ipxe
100644 blob a1374a17ffbd376ebb17a7ca82ed17298bfa3111	limits.h
040000 tree 10f7e1a1340173c975f7cc5ad1277fcb861d1502	pcbios
100644 blob 69835d9faf16cd2acf4a5d6a8a4b1aaef69a76d7	setjmp.h