[workspace] resolver = "3" members = [ # "zynq7000", "zynq7000-rt", "zynq-examples" ]