5c464341d894db6b783555b44feb2d2e662243a0
[coreboot.git] / src / cpu / intel / model_f4x / Kconfig
1 config CPU_INTEL_MODEL_F4X
2         bool
3         select SMP
4         select HAVE_MOVNTI