[submodule "submodules/kern-module-utils"]
	path = submodules/kern-module-utils
	url = https://git.ligo.org/ezekiel.dohmen/kern-module-utils.git
[submodule "submodules/advligorts"]
	path = submodules/advligorts
	url = https://git.ligo.org/cds/software/advligorts.git
