100644 blob 1d3d3b9e0eee25fca4183f6e784f21dab339a09f	Kconfig
100644 blob f36fb0d9c006fe52a75da81efbd1b480edcf5bae	Kconfig.name
100644 blob eb48944b6ef2267b0f821af11d652cbbf4d6b3aa	Makefile.inc
100644 blob b35610ae1b773f46b6ba7d52e81bf262ec7f3176	acpi_tables.c
100644 blob 6d8a07cce5823fc10e8fe63eee9b731e2c02a61b	board_info.txt
100644 blob 705ab2880c1cf4649a30312340258d7e872c04dd	bootblock.c
100644 blob 9f7f63e5f3294b89e3055724c57131160a305228	devicetree.cb
100644 blob 384f8de2b4369dc33a11d9e0dfc43d01fadf66c2	dsdt.asl
100644 blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391	irq_tables.c
100644 blob 87838b44c341f309994c92cd73c8e4e35171ca87	mainboard.c
040000 tree 9e4a0880acd520e52885d10b8fee89d56263d4ad	variants