Là clairement tu a touché dans le mile sauf que je n'ai toujours rien compris à l'utilisation de gdb, openocd, etc..... ni ce qu'on peut faire avec.
Un tuto simple pour "ignares" en débogage serait fortement apprécié.
Edit :
ce bus est aussi présent sur les cartes Due, Zero et Mkr même s'il est confidentiel : sur les photos on voit que le circuit imprimé n'est pas équipé de connecteur.
Le débogage des micro ARM Atmel devrait aussi être possible.