tree 27c53eb664e63b34c2de9a121f4a4d811e4bd15b
parent a38b11ccb0b3ed2c885915875b3b7f6d37f9d0ca
author June Tate-Gans <jtgans@google.com> 1658331244 -0500
committer June Tate-Gans <jtgans@google.com> 1658343095 -0500

kgdb: Wrap gdb with a nice set of getopt flags

We don't always need sel4 extensions, and symbol autoswitching can get us into
trouble, so this rewrites kgdb to use getopt and allow us to control which flags
are enabled/disabled at will.

Change-Id: I8acd8672570d6342827b44af9e725a2cca582006