Changing default ChibiOS repo
from the _official_ GitHub mirror to our own mirror
@@ -9,7 +9,7 @@ ExternalProject_Add(
ChibiOS
PREFIX ChibiOS
SOURCE_DIR ${CMAKE_BINARY_DIR}/ChibiOS_Source
- GIT_REPOSITORY https://github.com/ChibiOS/ChibiOS/
+ GIT_REPOSITORY https://github.com/nanoframework/ChibiOS
GIT_TAG ${CHIBIOS_GIT_TAG} # target specified branch
GIT_SHALLOW 1 # download only the tip of the branch, not the complete history
TIMEOUT 10
