Merge branch 'master' of braunbox:~hurd-web/hurd-web

6 files changed, 53 insertions, 4 deletions

diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 88c38999..88aa1432 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -24,7 +24,7 @@ GNU Mach runs on x86 machines.  See the
 [[hardware_compatibility_list]] and information about
 [[ports]] to other architectures.
 
-The latest release is [[GNU Mach 1.5|news/2015-04-10-releases]].
+The latest release is [[GNU Mach 1.6|news/2015-10-31-releases]].
 
 
 # Advantages of GNU Mach
diff --git a/microkernel/mach/gnumach/debugging.mdwn b/microkernel/mach/gnumach/debugging.mdwn
index c5c592b7..c14f6111 100644
--- a/microkernel/mach/gnumach/debugging.mdwn
+++ b/microkernel/mach/gnumach/debugging.mdwn
@@ -14,7 +14,7 @@ Here are some hints to debug with GNU Mach.
 [[!toc levels=2]]
 
 
-# Kernel Debugger
+# Kernel Debugger (KDB)
 
 Mach has a built-in kernel debugger.
 [Manual](http://www.gnu.org/software/hurd/gnumach-doc/Kernel-Debugger.html).
diff --git a/microkernel/mach/gnumach/interface/thread_get_state.mdwn b/microkernel/mach/gnumach/interface/thread_get_state.mdwn
new file mode 100644
index 00000000..c44cb927
--- /dev/null
+++ b/microkernel/mach/gnumach/interface/thread_get_state.mdwn
@@ -0,0 +1,37 @@
+[[!meta copyright="Copyright © 2014 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!meta title="thread_get_state, thread_set_state"]]
+
+[[!tag open_issue_documentation]]
+
+
+# `i386_DEBUG_STATE`
+
+Access the x86 debug registers.
+
+[[!message-id "20110821231730.GF6004@type.famille.thibault.fr"]],
+[[!GNU_Savannah_Git_hurd_gnumach d14e4924c55e3016d1ddf7a38a7e93460ca10ac8]].
+
+For example, used by [[/GDB]] for implementing hardware watchpoints.
+
+
+## Open Issues
+
+[[!tag open_issue_gnumach]]
+
+  * Continuing on [[!message-id "87iokondoc.fsf@schwinge.name"]], do we need to
+    sanitize some of the values?  Is user space allowed to set DR7's GD flag as
+    well as DR7's reserved flags, or should these flags be masked out?
+    Anything else?
+
+  * If [[KDB|debugging]] is using hardware watchpoints, those set by user space
+    applications will be ignored.  This is because KDB and the user-space
+    application are competing for the x86 debug registers, and KDB wins.
diff --git a/microkernel/mach/gnumach/interface/thread_set_state.mdwn b/microkernel/mach/gnumach/interface/thread_set_state.mdwn
new file mode 100644
index 00000000..35b75e98
--- /dev/null
+++ b/microkernel/mach/gnumach/interface/thread_set_state.mdwn
@@ -0,0 +1,11 @@
+[[!meta copyright="Copyright © 2014 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+[[!meta redir=thread_get_state]]
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index a1df8a10..c9d3bba9 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -216,4 +216,5 @@ IRC, freenode, #hurd, 2013-07-04:
 ---
 
 [[!tag open_issue_documentation]]Update for [[GNU Mach 1.4
-release|news/2013-09-27]], and [[GNU Mach 1.5|news/2015-04-10-releases]].
+release|news/2013-09-27]], [[GNU Mach 1.5|news/2015-04-10-releases]], [[GNU
+Mach 1.6|news/2015-10-31-releases]].
diff --git a/microkernel/mach/mig/gnu_mig.mdwn b/microkernel/mach/mig/gnu_mig.mdwn
index 77cbed05..e6f51802 100644
--- a/microkernel/mach/mig/gnu_mig.mdwn
+++ b/microkernel/mach/mig/gnu_mig.mdwn
@@ -24,7 +24,7 @@ Like its predecessor, it can only generate C code, that has to be compiled and
 linked to client and server programs respectively ([[!taglink
 open_issue_mig]]).
 
-The latest release is [[GNU MIG 1.5|news/2015-04-10-releases]].
+The latest release is [[GNU MIG 1.6|news/2015-10-31-releases]].
 
   * [[Building]] - building (and obtaining) GNU MIG
   * [[Open Issues|tag/open_issue_mig]]