summaryrefslogtreecommitdiff
path: root/rump_kernel.mdwn
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-11-24 09:12:08 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-11-24 09:12:08 +0100
commit48a77cc2e7f5517292ef758e00690aad62954c22 (patch)
tree2a0d6e3dc5fe0378b727ded35be53b74317da639 /rump_kernel.mdwn
parentc6241e6899431f767bf2e8b0ec8a7dbb0c7a7150 (diff)
parentb13ede76b4a7c67c4db37f2dbe335d9144b384f3 (diff)
Merge branch 'master' of braunbox:~hurd-web/hurd-web
Diffstat (limited to 'rump_kernel.mdwn')
-rw-r--r--rump_kernel.mdwn2
1 files changed, 0 insertions, 2 deletions
diff --git a/rump_kernel.mdwn b/rump_kernel.mdwn
index 71b376e0..7f7d7cc5 100644
--- a/rump_kernel.mdwn
+++ b/rump_kernel.mdwn
@@ -24,8 +24,6 @@ License|/fdl]]."]]"""]]
# Documentation
- * <http://rumpkernel.org/>
-
* <http://www.fixup.fi/misc/usenix-login-2015/login_oct15_02_kantee.pdf>
This is an an opinion paper that explains why operating systems need compartmentalized kernel drivers.