1 # SPDX-License-Identifier: MIT
2 define KMACHINE virtio-aarch64
6 include ktypes/standard/standard.scc nopatch
7 include arch/arm/aarch64.scc
10 include bsp/virtio/agl-virtio.scc
12 # enable the ability to run 32 bit apps
13 include arch/arm/32bit-compat.scc