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

include ktypes/standard/standard.scc nopatch
include arch/arm/aarch64.scc
include cfg/8250.scc
include cfg/virtio.scc
include bsp/virtio/agl-virtio.scc

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