100644 blob 5b35e7d3797346fcaff1fc6bb57bcd1906c1601a	Kconfig
100644 blob dc1457dfba9df6052c33c1ab1b30f76cde344a44	board_info.txt
100644 blob 85f478559a12ab90ec20234d597fabf002f5725e	devicetree.cb
100644 blob 1bf573e0f6c3becda1f0d2720475069006240e7b	irq_tables.c
100644 blob 3ac2dfaa3b8af150fec86ce0efaeb4cf547db598	romstage.c