define KMACHINE valleyisland-32
define KTYPE preempt-rt
define KARCH i386

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

include valleyisland-32.scc

include cfg/efi-ext.scc

# default policy for preempt-rt kernels
include cfg/usb-mass-storage.scc
include cfg/boot-live.scc
include features/latencytop/latencytop.scc
include features/profiling/profiling.scc