add gpio led uart

hc

2024-05-10 748e4f3d702def1a4bff191e0cf93b6a05340f01

1
2
3
4
5
6
7
/* Bleah!! */
int remote_debug = 0;
 
main() {
  set_debug_traps();
  breakpoint();
}