En théorie on doit pouvoir bricoler un débugueur par le port série (au moins de quoi faire des printf() et afficher le résultat avec un programme de terminal), en pratique je ne sais pas si quelqu'un l'a déjà fait.