diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-11-24 09:12:08 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-11-24 09:12:08 +0100 |
commit | 48a77cc2e7f5517292ef758e00690aad62954c22 (patch) | |
tree | 2a0d6e3dc5fe0378b727ded35be53b74317da639 /rump_kernel.mdwn | |
parent | c6241e6899431f767bf2e8b0ec8a7dbb0c7a7150 (diff) | |
parent | b13ede76b4a7c67c4db37f2dbe335d9144b384f3 (diff) |
Merge branch 'master' of braunbox:~hurd-web/hurd-web
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. |