100644 blob 5c0ca2b5705624f7b558e40a7fff34a077b4a208	Kconfig
100644 blob 131020335d777d7bbeecf0789a17e863fbf8b846	Kconfig.name
100644 blob d604d021c51c2f1fb5e0908fa46042e99abf7a00	Makefile.inc
040000 tree 1832ba31e3a42ce984b751635922e5fbb72ffa52	acpi
100644 blob 7faa73d82daa7cc9d20194c52e7474d2a95210e5	acpi_tables.c
100644 blob 4e50628327abc6bae1a2b543c9f60777dcdb59e1	board_info.txt
100644 blob 5a969cfc139a35b71bcee6f0266293bb0e424620	bootblock.c
100644 blob 4f3102d3289a6689a20b6f11a8ed6ae0bf1dcdef	devicetree.cb
100644 blob d00d1e5b416cb33f974eddfdf26b2b7dbabf4212	dsdt.asl