# Core configuration settings for x86-32
include cfg/x86.scc nopatch

include intel-x86.scc

kconf hardware intel-x86-32.cfg