the serial output seems to hang one computer I tried. need to debug later. disabling...
[bootcensus] / .gdbinit
1 target remote localhost:1234
2 symbol-file test.sym