gdb/ChangeLog:
yyyy-mm-dd  Stafford Horne  <shorne@gmail.com>
	* NEWS (Changes since GDB 8.0): Mention new or1k target and new
	commands to set/show or1k debug.
+2017-12-17  Stafford Horne  <shorne@gmail.com>
+
+       * NEWS (Changes since GDB 8.0): Mention new or1k target and new
+       commands to set/show or1k debug.
+
 2017-12-15  Sergio Durigan Junior  <sergiodj@redhat.com>
 
        * typeprint.c (whatis_exp): Fix ARI warning and reindent "if"
 
 starti
   Start the debugged program stopping at the first instruction.
 
+set|show debug or1k
+  Control display of debugging messages related to OpenRISC targets.
+
 set|show print type nested-type-limit
   Set and show the limit of nesting level for nested types that the
   type printer will show.
 
 FreeBSD/aarch64                        aarch64*-*-freebsd*
 FreeBSD/arm                    arm*-*-freebsd*
+OpenRISC ELF                   or1k*-*-elf
 
 * Removed targets and native configurations