[workspace]
members = ["kernel", "repbuild"]