GDB Stub for RP2040
===================

This defines the command line to use when ``make gdb`` is run.

TODO: Implement stub code to allow serial debugging.