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