# SPDX-License-Identifier: MIT
define KMACHINE virtio-aarch64
define KTYPE standard
define KARCH arm64

include ktypes/standard/standard.scc
include aarch64.scc
include cfg/8250.scc
include cfg/virtio.scc
include virtio.scc

# enable the ability to run 32 bit apps
include arch/arm/32bit-compat.scc