.gitmodules

[submodule "firecracker"]
	path = firecracker
	url = https://github.com/firecracker-microvm/firecracker.git
[submodule "tests/perf/s2n-quic"]
	path = tests/perf/s2n-quic
	url = https://github.com/aws/s2n-quic
	branch = main
[submodule "charon"]
	path = charon
	url = https://github.com/AeneasVerif/charon