November 22, 2019 at 1:56 pm #473 flo_vegaParticipant Resolved, it is really necessary to switch the cores before. (see manuals) The .cfg files fed to openocd cannot do this automatically.