# include arch/arm64/arm64.scc
include cfg/timer/hz_100.scc
kconf hardware zynqmp.cfg
# include bsp/xilinx/soc/xilinx-drivers.scc
# include bsp/xilinx/soc/zynqmp-ip.scc
include bsp/xilinx/common.scc
include cfg/timer/no_hz.scc
include cfg/usb-mass-storage.scc