define KMACHINE rangeley
define KTYPE preempt-rt
define KARCH x86_64
# no new branch required, re-use the ktypes/preempt-rt branch
include ktypes/preempt-rt
include bsp/common-pc-64/common-pc-64.scc
include rangeley.scc
# default policy for preempt-rt kernels