define KMACHINE intel-x86-32
define KTYPE preempt-rt
define KARCH x86

include ktypes/preempt-rt
branch intel-x86

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