Enable SATA AHCI for faster boot with SeaBIOS.

[coreboot.git] / src / cpu / via / Makefile.inc

diff --git a/src/cpu/via/Makefile.inc b/src/cpu/via/Makefile.inc
index 6d62f226199d2dd671d2d5da3bf343a0406fb73a..512f82b02eb778df4744b0eaee81ea9eecc3bd02 100644 (file)
--- a/src/cpu/via/Makefile.inc
+++ b/src/cpu/via/Makefile.inc
@@ -1,2 +1,3 @@
-#subdirs-y += model_c7
-subdirs-y += model_c7
+subdirs-$(CONFIG_CPU_VIA_C7) += model_c7
+subdirs-$(CONFIG_CPU_VIA_C3) += model_c3
+