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