path: root/microkernel
diff options
Diffstat (limited to 'microkernel')
3 files changed, 4 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
index 10c4818..08331b0 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.7|news/2016-05-18-releases]].
+The latest release is [[GNU Mach 1.8|news/2016-12-18-releases]].
# Advantages of GNU Mach
diff --git a/microkernel/mach/history.mdwn b/microkernel/mach/history.mdwn
index 2d29eef..bba392c 100644
--- a/microkernel/mach/history.mdwn
+++ b/microkernel/mach/history.mdwn
@@ -217,4 +217,5 @@ IRC, freenode, #hurd, 2013-07-04:
[[!tag open_issue_documentation]]Update for [[GNU Mach 1.4
release|news/2013-09-27]], [[GNU Mach 1.5|news/2015-04-10-releases]], [[GNU
-Mach 1.6|news/2015-10-31-releases]], [[GNU Mach 1.7|news/2016-05-18-releases]].
+Mach 1.6|news/2015-10-31-releases]], [[GNU Mach 1.7|news/2016-05-18-releases]],
+[[GNU Mach 1.8|news/2016-12-18-releases]].
diff --git a/microkernel/mach/mig/gnu_mig.mdwn b/microkernel/mach/mig/gnu_mig.mdwn
index 415d1e3..f2cc54a 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
-The latest release is [[GNU MIG 1.7|news/2016-05-18-releases]].
+The latest release is [[GNU MIG 1.8|news/2016-12-18-releases]].
* [[Building]] - building (and obtaining) GNU MIG
* [[Open Issues|tag/open_issue_mig]]