diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-06-10 15:25:25 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-06-10 15:25:25 -0700 |
| commit | 01cc10090feba7d9a9e3183744292e1198ebbbc0 (patch) | |
| tree | 8ea9f2f6acdccbdb3ad6226b7e37f9e159d8904e /software/local_interrupts/.unsupported-boards | |
| parent | 9cb0177cdf178e7f941341b98bf85289c6b30b1f (diff) | |
Allow users to override the GDB port
Diffstat (limited to 'software/local_interrupts/.unsupported-boards')
0 files changed, 0 insertions, 0 deletions