4adb19bd79
Without this change 64 bit versions of Windows will BSOD. Change-Id: If39627a179c24184b6c956b3a50f692f8a034d2f Signed-off-by: Dave Frodin <dave.frodin@se-eng.com> Reviewed-on: http://review.coreboot.org/1476 Tested-by: build bot (Jenkins) Reviewed-by: Marc Jones <marcj303@gmail.com> |
||
---|---|---|
.. | ||
acpi | ||
acpi_tables.c | ||
cmos.layout | ||
devicetree.cb | ||
dsdt.asl | ||
get_bus_conf.c | ||
irq_tables.c | ||
Kconfig | ||
mainboard.c | ||
mb_sysconf.h | ||
mptable.c | ||
resourcemap.c | ||
romstage.c |