# SPDX-License-Identifier: MIT
define KMACHINE common-pc-64
define KMACHINE qemux86-64
define KTYPE preempt-rt
define KARCH x86_64

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

include bsp/common-pc-64/common-pc-64.scc

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