[workspace] members = [ "rp2040-hal", ]