define KMACHINE axxiaarm64
define KTYPE standard
define KARCH arm64

include ktypes/standard
branch axxia

include axxiaarm64.scc