| acpi | |||
| Kconfig | 1148 | 2010-11-09 08:09:47 +0100 | |
| acpi_tables.c | 9955 | 2010-11-09 08:09:47 +0100 | |
| chip.h | 74 | 2010-08-26 16:24:04 +0000 | |
| cmos.layout | 3191 | 2010-04-08 13:06:44 +0000 | |
| devicetree.cb | 4035 | 2010-11-09 08:09:47 +0100 | |
| dsdt.asl | 6200 | 2010-11-09 08:09:47 +0100 | |
| fadt.c | 4049 | 2010-10-24 14:22:11 +0000 | |
| get_bus_conf.c | 6171 | 2010-11-09 08:09:47 +0100 | |
| irq_tables.c | 4268 | 2010-04-27 04:56:47 +0000 | |
| mainboard.c | 128 | 2009-04-01 11:43:21 +0000 | |
| mb_sysconf.h | 505 | 2010-11-09 08:09:47 +0100 | |
| mptable.c | 7302 | 2010-11-09 08:09:47 +0100 | |
| resourcemap.c | 8306 | 2010-04-27 04:56:47 +0000 | |
| romstage.c | 5561 | 2010-11-09 08:09:47 +0100 | |
| ssdt2.asl | 1595 | 2010-04-27 04:56:47 +0000 | |
| ssdt3.asl | 1595 | 2010-04-27 04:56:47 +0000 | |
| ssdt4.asl | 1595 | 2010-04-27 04:56:47 +0000 | |
| ssdt5.asl | 1595 | 2010-04-27 04:56:47 +0000 |