100644 blob 9f3401f4ad9b1b3972fdb7ca4b9977e0f89b740b	Kconfig
100644 blob e1f1882d3b1781a9877bd1e336b081fc3159c20f	Kconfig.name
100644 blob c28e680050bc625f97d98be8526367197b62ec8e	board_info.txt
100644 blob b9e3828424d845e7807df6e03fb76ca50e35ba5f	devicetree.cb
100644 blob e280d1739d2ce7dd4a45b3433f0bb6664cb268dd	irq_tables.c
100644 blob 6a3b7f4c65be50b40b5a781e18c8743a8a2390f3	romstage.c