define KMACHINE intel-x86-32
define KTYPE standard
define KARCH x86

include ktypes/standard
branch intel-x86

include intel-x86-32.scc
kconf hardware intel-x86-hugepage.cfg
kconf hardware cfs-bandwidth.cfg