[submodule "lib/miosix-kernel"]
	path = lib/miosix-kernel
	url = https://github.com/mdiepart/miosix-kernel
	branch = openrtx
