[submodule "src/mbed-os"]
	path = src/mbed-os
	url = https://github.com/ARMmbed/mbed-os.git