Dernier ajout : 25 janvier 2008.
Ou comment programmer un at91sam7x tout neuf avec openocd
Ou comment débugger la séquence de boot ?