[submodule "seL4"]
	path = seL4
	url = https://github.com/seL4/seL4
