8 files changed, 71 insertions, 8 deletions
diff --git a/microkernel/mach/documentation.mdwn b/microkernel/mach/documentation.mdwn
index 83e2d0e2..fe870386 100644
--- a/microkernel/mach/documentation.mdwn
+++ b/microkernel/mach/documentation.mdwn
@@ -11,7 +11,14 @@ is included in the section entitled
   - [Meet Mach](http://www.stepwise.com/Articles/Technical/MeetMach.html), a
     summary of Mach's history and main concepts.
 
-  - OSF's [Kernel
-    Interface](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps)
-  - OSF's [Kernel
-    Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps)
+  - OSF's [Kernel Interface (ps)](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps)
+    [Kernel Interface (pdf)](http://shakthimaan.com/downloads/hurd/kernel_interface.pdf) 
+
+  - OSF's [Kernel Principles (ps)](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps) 
+    [Kernel Principles (pdf)](http://shakthimaan.com/downloads/hurd/kernel_principles.pdf)
+
+  - [Porting and Modifying the Mach 3.0 Microkernel](http://shakthimaan.com/downloads/hurd/Porting%20and%20Modifying%20the%20Mach%203.0%20Microkernel.pdf)
+
+  - [An IO System for Mach](http://shakthimaan.com/downloads/hurd/An%20IO%20System%20for%20Mach.pdf)
+
+  - [A Programmers' Guide to Mach System Call](http://shakthimaan.com/downloads/hurd/A.Programmers.Guide.to.the.Mach.System.Calls.pdf)
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 71681eed..d45549f5 100644
--- a/microkernel/mach/gnumach.mdwn
+++ b/microkernel/mach/gnumach.mdwn
@@ -27,3 +27,4 @@ GNU Mach runs on x86 machines.  See the
 * [[Boot_Trace]]
 * [[Projects]]
     * [[Rules]]
+    * [[Open_Issues]]
diff --git a/microkernel/mach/gnumach/open_issues.mdwn b/microkernel/mach/gnumach/open_issues.mdwn
new file mode 100644
index 00000000..433ec3ef
--- /dev/null
+++ b/microkernel/mach/gnumach/open_issues.mdwn
@@ -0,0 +1,19 @@
+[[meta copyright="Copyright © 2008 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="Open Issues"]]
+
+This is a dumping ground for open issues for GNU Mach.
+
+[[inline
+pages="microkernel/mach/gnumach/open_issues/* and !*/discussion"
+show=0
+actions=yes
+rootpage="microkernel/mach/gnumach/open_issues" postformtext="Add a new item titled:"]]
diff --git a/microkernel/mach/gnumach/projects.mdwn b/microkernel/mach/gnumach/projects.mdwn
index 10ba0fe2..9ace6270 100644
--- a/microkernel/mach/gnumach/projects.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
@@ -33,6 +33,8 @@ so that no duplicate efforts end up.
 
   * [[Clean_up_the_code]]
 
+  * [[Open_Issues]]
+
   * Update the core architecture and drivers
 
       * Check what NetBSD, FreeBSD and Linux do with their host specific code
diff --git a/microkernel/mach/mig.mdwn b/microkernel/mach/mig.mdwn
index f47eadfb..c620420a 100644
--- a/microkernel/mach/mig.mdwn
+++ b/microkernel/mach/mig.mdwn
@@ -10,3 +10,4 @@ GNU MIG is fully compatible with OSF MIG.
 * MIG's [homepage](http://www.gnu.org/software/hurd/mig.html)
 * [[Documentation]]
 * [[Building]] - Building (and obtaining) MIG
+* [[Open_Issues]]
diff --git a/microkernel/mach/mig/open_issues.mdwn b/microkernel/mach/mig/open_issues.mdwn
new file mode 100644
index 00000000..2d870695
--- /dev/null
+++ b/microkernel/mach/mig/open_issues.mdwn
@@ -0,0 +1,19 @@
+[[meta copyright="Copyright © 2008 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="Open Issues"]]
+
+This is a dumping ground for open issues for GNU MIG.
+
+[[inline
+pages="microkernel/mach/mig/open_issues/* and !*/discussion"
+show=0
+actions=yes
+rootpage="microkernel/mach/mig/open_issues" postformtext="Add a new item titled:"]]
diff --git a/microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn b/microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn
new file mode 100644
index 00000000..93347759
--- /dev/null
+++ b/microkernel/mach/mig/open_issues/duplicate_inclusion_guards.mdwn
@@ -0,0 +1,14 @@
+[[meta copyright="Copyright © 2008 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]]."]]"""]]
+
+E.g., both `/usr/include/hurd/process.h` and
+`/usr/include/hurd/process_request.h` use `_process_user_` as an inclusion
+guard.  This leads to problems when both are needed, as is the case in
+[[GDB]]'s `gdb/gnu-nat.c`.
diff --git a/microkernel/viengoos/building.mdwn b/microkernel/viengoos/building.mdwn
index 8868c46c..909f1b5e 100644
--- a/microkernel/viengoos/building.mdwn
+++ b/microkernel/viengoos/building.mdwn
@@ -14,7 +14,7 @@ Checkout hurd-l4:
 
     cvs -z3 -d :pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co hurd-l4
 
-Apply hurd-l4/libl4/ patch to change to gs:0 on line 35.
+There is a patch in the README file, to change to %%gs:0 in libl4/ia32/l4/bits/vregs.h in line 35. It should have been applied already in the checked out code. Do verify.
 
 Configure:
 
@@ -56,10 +56,10 @@ Get Pistachio using hg:
 
 Build:
 
-   cd kernel
+    cd kernel
 
-   make BUILDDIR=build
-   cd build
+    make BUILDDIR=build
+    cd build
 
 Check Makeconf.local: