define KMACHINE qemuarma15
define KTYPE standard
define KARCH arm
include ktypes/standard/standard.scc
# we aren't carrying patches specific to this platform, so let's
# skip the branch for now.
# branch qemuarma15
include cfg/virtio.scc
include cfg/dmaengine.scc
include cfg/timer/rtc.scc
include qemuarma15.scc