.gitmodules

[submodule "build-cfg"]
	path = build-cfg
	url = ../muen/build-cfg.git
[submodule "components/linux/src"]
	path = components/linux/src
	url = ../muen/linux.git
[submodule "components/libxhcidbg"]
	path = components/libxhcidbg
	url = ../libxhcidbg.git
	branch = muen
[submodule "components/tau0-static"]
	path = components/tau0-static
	url = ../muen/tau0.git
[submodule "components/linux/modules/muenfs"]
	path = components/linux/modules/muenfs
	url = ../muen/linux/muenfs.git
[submodule "components/linux/modules/muennet"]
	path = components/linux/modules/muennet
	url = ../muen/linux/muennet.git
[submodule "components/linux/modules/muenblock"]
	path = components/linux/modules/muenblock
	url = ../muen/linux/muenblock.git
[submodule "components/linux/modules/muenevents"]
	path = components/linux/modules/muenevents
	url = ../muen/linux/muenevents.git
[submodule "tools"]
	path = tools
	url = ../muen/tools.git
[submodule "contrib"]
	path = contrib
	url = ../muen/contrib.git
[submodule "common"]
	path = common
	url = ../muen/common
[submodule "rts"]
	path = rts
	url = ../muen/rts
[submodule "nci"]
	path = ci/nci
	url = ../nci.git
[submodule "nci-config"]
	path = ci/nci-config
	url = ../nci-config.git