040000 tree 1289a62d281548394869bffb6d2388313c07f2d7	efi
100644 blob c5496a00b65afbad5c8bda47622630a31faee0d7	kernel.h
100644 blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391	linux.h
100644 blob 45c8fba2728ce5b30b6ef3791da49bd039e9e94f	reloc.h
100644 blob 0a62113795ef49b348613f02378185848c74f4fe	setjmp.h
100644 blob 03ee79fa4e454dd2493e345b0b8e4f0b5414152f	time.h
100644 blob 91a546dd2c5e9080d313223e1eba635dcda7c548	types.h