summaryrefslogtreecommitdiff
path: root/microkernel.mdwn
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-03-24 06:27:12 +0100
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-03-24 06:27:12 +0100
commitc3090125564bd18125b1ff43084c951b80a0b424 (patch)
tree556511a279b7dea1cce4eaf850c6b41ada52a1d9 /microkernel.mdwn
parent7bdf2ce27b1dea30ce311eef404bb26be483a3df (diff)
Squashed list
Diffstat (limited to 'microkernel.mdwn')
-rw-r--r--microkernel.mdwn14
1 files changed, 2 insertions, 12 deletions
diff --git a/microkernel.mdwn b/microkernel.mdwn
index 31bf3f5e..9eb2d450 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -37,25 +37,15 @@ An [introduction](http://www.cs.cornell.edu/Info/People/ulfar/ukernel/ukernel.ht
A 2002 article about [[microkernel_FUD|FUD]] (Fear, Uncertainty, Doubt).
-
-# Implementations
-
+---
+# Microkernel Implementations
* [[Hydra]]
-
* [[KeyKOS]]
-
* [[Mach]] -- used by the GNU/Hurd
-
* [[EROS]]
-
* [[CapROS]]
-
* [[Coyotos]]
-
* [[L4]]
-
* [[Barrelfish]]
-
* [[Viengoos]]
-
* [[Genode]]