Hi :) on https://www.bitcraze.io/documentation/repository/crazyflie-firmware/master/development/openocd_gdb_debugging/ the link to the SVD file is unfortunately broken. I am not sure where to upload this file, that's why this is not directly a pull request :) Thanks for fixing it, Hanna