diff options
| author | aaric <aaric@web> | 2022-10-19 00:06:14 +0200 |
|---|---|---|
| committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2022-10-19 00:06:14 +0200 |
| commit | b13ede76b4a7c67c4db37f2dbe335d9144b384f3 (patch) | |
| tree | 4fe3b688573f4983a9cd11f01bb63ac7e585fcb3 /rump_kernel.mdwn | |
| parent | 239bc9c12665fcf8ec20d0b949c77dc3b9675d8c (diff) | |
link redirects to unrelated site.
Diffstat (limited to 'rump_kernel.mdwn')
| -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. |