summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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.