[workspace]
members = ["runtime", "ksupport", "satman"]