define KMACHINE zynq
define KTYPE tiny
define KARCH arm

include ktypes/tiny/tiny.scc

include bsp/xilinx/soc/zynq.scc
include bsp/xilinx/board-common.scc