diff options
| -rw-r--r-- | rump_kernel.mdwn | 2 |
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. |