It looks like that url has changed as well since the last failing build I was comparing to.
Also it seems the previous fix #582 needs to be applied to the rtos submodule as well.
I don't know what your submodule update process is here, should I leave this PR open and make another there then update the submodule in this PR?
Just seen you've fixed the URL on develop already. Shall I just update the submodule then?
It looks like that url has changed as well since the last failing build I was comparing to.
Also it seems the previous fix #582 needs to be applied to the rtos submodule as well. I don't know what your submodule update process is here, should I leave this PR open and make another there then update the submodule in this PR?
Just seen you've fixed the URL on develop already. Shall I just update the submodule then?