define KMACHINE sys940x
define KTYPE preempt-rt
define KARCH i386

# no new branch required, re-use the ktypes/preempt-rt branch
include ktypes/preempt-rt

include sys940x.scc
include cfg/efi-ext.scc

# default policy for standard kernels
include cfg/boot-live.scc
include features/latencytop/latencytop.scc
include features/profiling/profiling.scc