K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2017-04-18T19:54:04.206762Z
K 7
svn:log
V 246
Regenerate to note that GDB is now off by default on most platforms.

Note that this commit also adds the default riscv settings for all
options since riscv was added to 'make targets' since the last time
this was generated.

Reminded by:	emaste

END