# SPDX-License-Identifier: MIT
define KMACHINE intel-x86-32
define KTYPE preempt-rt
define KARCH i386

include ktypes/preempt-rt
branch x86

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