040000 tree a7784cdfb8b7bb751b273434017d9ef58d15f049	bits
040000 tree c11b57b685c81fdb30053db9177b2ac0fca27132	efi
100644 blob 52cce7833e68da3f0091965e82e6f61b4d942f0c	gdbmach.h
040000 tree be7b27313242274d4e49c2067e2adeaf8995ca4f	ipxe
100644 blob bb48b75abb0dbc6cf2612503f74c90eafced31be	limits.h
040000 tree 10f7e1a1340173c975f7cc5ad1277fcb861d1502	pcbios
100644 blob 98566696a04a2848323368bcf3bc98df538f2cc6	setjmp.h