100644 blob 42dcfcb7ce257b2aa8a52fa7d032e8596edb8af0	bootinfo.h
100644 blob d4e3c2a3010c9e348d6f4f88edd6c6aa6d71cbba	device.h
100644 blob 34fc8244112a7e50dda9ca48b4227b9d8c8b4a5b	io.h
100644 blob 2d40c79b1892c63977b346c95898a413c1d9b0b7	irq.h
100644 blob 5b9edc7c59267a94689e31d11b9ad4ea8a3b2b7e	platsupport.h
100644 blob f9b7c8276fd14ecc5a1c47450acaa56fe6d39890	pmem.h
100644 blob 2f8fc7698b3c96f1d05a434c6a979bf812bef6fe	timer.h