[submodule "ACI-Registry"]
	path = ACI-Registry
	url = https://github.com/Clever-ISA/ACI-Registry
