[submodule "kernel-source"]
	path = kernel-source
	url = ../../SLFO-pool/kernel-source
[submodule "kernel-source-rt"]
	path = kernel-source-rt
	url = ../../SLFO-pool/kernel-source-rt
[submodule "kernel-default-base"]
	path = kernel-default-base
	url = ../../SLFO-pool/kernel-default-base