The on-chip firmware for the Marin SoC has been updated with the
gdb stub, so now when you program the FPGA, you'll see the following on
the serial console:
MOXIE On-Chip Bootloader v2.0
Copyright (c) 2013 Anthony Green
Waiting for an S-Record Download or Remote GDB Connection …