From 7bdf2ce27b1dea30ce311eef404bb26be483a3df Mon Sep 17 00:00:00 2001
From: MutoShack <MutoShack@web>
Date: Sun, 24 Mar 2019 06:25:56 +0100
Subject: Add title

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

diff --git a/microkernel.mdwn b/microkernel.mdwn
index 31044186..31bf3f5e 100644
--- a/microkernel.mdwn
+++ b/microkernel.mdwn
@@ -9,6 +9,8 @@ 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="Microkernel"]]
+
 A *microkernel* is one kind of a [[kernel]] implementation.
 
 [[Liedtke]] explains in [On Microkernel Construction](http://l4ka.org/publications/paper.php?docid=642)
-- 
cgit v1.3.1