diff options
| -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> |