From c3090125564bd18125b1ff43084c951b80a0b424 Mon Sep 17 00:00:00 2001
From: MutoShack <MutoShack@web>
Date: Sun, 24 Mar 2019 06:27:12 +0100
Subject: Squashed list

---
 microkernel.mdwn | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

(limited to 'microkernel.mdwn')

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]]
-- 
cgit v1.2.3