[submodule "kernel"] path = kernel url = https://g.wash.red/wash/mango.git [submodule "sys/ropkg"] path = sys/ropkg url = git@github.com:washh/ropkg.git