[submodule "jailhouse"]
	path = jailhouse
	url = git@rtime.felk.cvut.cz:jailhouse
[submodule "buildroot"]
	path = buildroot
	url = git://git.buildroot.net/buildroot
[submodule "linux-stable"]
	path = linux-stable
	url = git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
[submodule "l4"]
	path = l4
	url = git@rtime.felk.cvut.cz:l4