]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/kern/arm/bsp/zynq/config-arm-zynq.cpp
update
[l4.git] / kernel / fiasco / src / kern / arm / bsp / zynq / config-arm-zynq.cpp
1 INTERFACE [arm && zynq]:
2
3 #define TARGET_NAME "Xilinx Zynq"