100644 blob 46bff7c9cb8a64b87990afeee491ff0833649de0	Kconfig
100644 blob 60d6028d74600d4f7b20502119175d9c4fd77e4e	Kconfig.name
100644 blob d740ee1c5a89810835145a107457672098a45e22	acpi_tables.c
100644 blob 6d8a07cce5823fc10e8fe63eee9b731e2c02a61b	board_info.txt
100644 blob 84f0c2962d83fa9b31819608567e2f394cebd577	devicetree.cb
100644 blob b97ba405400ae1e3ee8b1b61b6fb4ab049f8e1bc	dsdt.asl
100644 blob 93373da052864f8f65cc82ef731b24eeffb5c229	irq_tables.c
100644 blob 35ee9bf9c217d448a2ff2bf95bfab63628f860ae	romstage.c