summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2013-04-13 10:44:46 +0200
committerThomas Schwinge <thomas@codesourcery.com>2013-04-13 11:11:01 +0200
commit6c41b4a7a5304d990dcf0b342bb706ab7a5fb945 (patch)
treedd9001d6e1c83a69eac8f14a89e338da5f7f6d1d /microkernel
parent38cfa89677eabc85fc23e31e24cee85fb1ecfa54 (diff)
Integrate the Microkernel FAQ into the general FAQ.
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/faq.mdwn21
-rw-r--r--microkernel/faq/multiserver_microkernel.mdwn26
2 files changed, 0 insertions, 47 deletions
diff --git a/microkernel/faq.mdwn b/microkernel/faq.mdwn
deleted file mode 100644
index fe259f05..00000000
--- a/microkernel/faq.mdwn
+++ /dev/null
@@ -1,21 +0,0 @@
-[[!meta copyright="Copyright © 2008, 2009, 2010 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="Microkernel FAQ"]]
-
-See also other [[/FAQ]].
-
-[[!inline
-pages="microkernel/faq/* and !*/discussion"
-show=0
-feeds=no
-actions=yes
-rootpage="microkernel/faq" postformtext="Add a new item titled:"]]
diff --git a/microkernel/faq/multiserver_microkernel.mdwn b/microkernel/faq/multiserver_microkernel.mdwn
deleted file mode 100644
index ca9b2179..00000000
--- a/microkernel/faq/multiserver_microkernel.mdwn
+++ /dev/null
@@ -1,26 +0,0 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008, 2009 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="What is a Multiserver Microkernel?"]]
-
-A Microkernel has nothing to do with the size of the kernel. Rather, it refers
-to the functionality that the kernel provides. It is generally agreed that
-this is; a set of interfaces to allow processes to communicate and a way to
-talk to the hardware. *Software drivers*, as we like to call them, are then
-implemented in user space as servers. The most obvious examples of these are
-the TCP/IP stack, the ext2 filesystem and NFS. In the case of the Hurd, users
-now have access to functionality that, in a monolithic kernel, they could never
-use, but now, because the server runs in user space as the user that started
-it, they may, for instance, mount an FTP filesystem in their home directory.
-
-For more information about the design of the Hurd, read the paper by Thomas
-Bushnell, BSG:
-[[Towards_a_New_Strategy_of_OS_Design|hurd-paper]].