define KMACHINE xilinx-zynqmp
define KTYPE standard
define KARCH arm64

include ktypes/standard/standard.scc
branch xilinx-zynqmp

include xilinx-zynqmp.scc