100644 blob 6cb07e2cacd74e3f671e37e153450a4ce393d7eb	Kconfig
100644 blob 3db00165e6d31015ebdd9f00b0d58f0e8868ce2d	Kconfig.name
100644 blob a8fcc43b09d88270ae85cd0177497ad831eef703	board_info.txt
100644 blob 0d35e9cb4aeb827d261424331889d485cb63b0f6	devicetree.cb
100644 blob 61cba0f053a53c9cc48c6c19afe5c9c9fc6d1855	irq_tables.c
100644 blob fd16006711f00297379dfcf432482858d56bb01b	romstage.c