[submodule "miasm"]
	path = miasm
	url = git@github.com:taugoust/miasm.git

[submodule "qemu"]
	path = qemu
	url = git@github.com:TUM-DSE/focaccia-qemu.git
	branch = ta/focaccia

[submodule "rr"]
	path = rr
	url = git@github.com:rr-debugger/rr.git