# SPDX-License-Identifier: MIT
define KMACHINE common-pc
define KMACHINE qemux86
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 bsp/common-pc/common-pc.scc

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