diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-25 01:46:01 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-25 01:46:01 +0200 |
commit | 98a0c4c5e969e1593af010277543d1857f1a8af1 (patch) | |
tree | 820a2b94798903905bccdb22acb4a91a5373601c /hurd | |
parent | 3982e324b84dc3efbdc52e8506c8b00e0940c3df (diff) |
Restore urls lost in previous commit
Diffstat (limited to 'hurd')
-rw-r--r-- | hurd/rump.mdwn | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/hurd/rump.mdwn b/hurd/rump.mdwn index 6e4a00db..ddde657f 100644 --- a/hurd/rump.mdwn +++ b/hurd/rump.mdwn @@ -44,3 +44,22 @@ environments and some are using it on real hardware! We do hope to use rump kernels for usb support, sound support (this was working at some point), and possibly a new TCP/IP stack, but work has not completed on those projects. + +# Documentation + + * <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. + + * <https://github.com/rumpkernel/wiki/wiki/Tutorial:-Getting-started> + + A tutorial introduction for those interested in using and deploying rump kernels. + + * <https://core.ac.uk/display/41816390> + + "User space approach to audio device driving on UNIX-like systems" by Robert Millan Hernandez. + + +# Source Code + + * <https://github.com/rumpkernel> |