100644 blob bde944c4b5f95b105e528b21a3099102ed30ea7d	Kconfig
100644 blob 8019eeefc8dffb667b54471a6265252e3b5d3a3e	Kconfig.name
100644 blob c34ef4b006a1213d3f1014281ae428b00a64b54c	Makefile.inc
040000 tree 030cba42ac90d376dcf4e8f676033fcf94cff116	acpi
100644 blob ce62bff7c1512a00056b9366519d40aefe93ee6a	acpi_tables.c
100644 blob f49af8aac50bf970e9ad665427ce91a40599f4a5	board_info.txt
100644 blob 28976c12123b38d17715238779d5931adbacb301	cmos.layout
100644 blob f688f2b530ae62f141e3f8ea92743cf863023bea	config_seabios
100644 blob 1df54d395c4f78abdcec1081b05f4b6dc55d890b	devicetree.cb
100644 blob ec56e2665a0e79099b0f9c1afe95c1073fd5d15c	dsdt.asl
100644 blob 83adf8524d08e545c1a781e6bc33d800b5e0d979	fadt.c
100644 blob 6fabe6ecec1e7e53b3daefcbac081030428a5f7e	gpio.h
100644 blob 538478d56ff17e4bc4a9b5fcf252ce851e9f1a64	irq_tables.c
100644 blob 2bf03cef6843afee95f400dfe4ccaaaabdb63226	irqroute.c
100644 blob 5f0794a2e46212236fe4b11729f2093c52ecfe48	irqroute.h
100644 blob c7c78e2fad538f59d32e12460b53c35ab175a5c2	romstage.c
100644 blob 14f5fa7dd295c89ef837d62a486a7959806db689	thermal.h