diff options
| author | jbranso@dismail.de <jbranso@dismail.de> | 2023-05-24 14:43:04 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-25 01:45:52 +0200 |
| commit | 3982e324b84dc3efbdc52e8506c8b00e0940c3df (patch) | |
| tree | ffc5f11c8b8914ba48511f7e3cdb162d439a0fdb /rump_kernel.mdwn | |
| parent | 020a827253b88b7e8938739b3ae0ee1d6d550546 (diff) | |
| download | web-3982e324b84dc3efbdc52e8506c8b00e0940c3df.tar.gz web-3982e324b84dc3efbdc52e8506c8b00e0940c3df.tar.bz2 web-3982e324b84dc3efbdc52e8506c8b00e0940c3df.zip | |
Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
* community/gsoc/project_ideas/driver_glue_code.mdwn: changed rump
kernel link.
* hurd.mwdn: added a link to hurd/rump.mdwn.
* hurd/rump.mdwn: new file.
* rump_kernel.mwdn: deleted file.
Message-Id: <20230524184304.3484-1-jbranso@dismail.de>
Diffstat (limited to 'rump_kernel.mdwn')
| -rw-r--r-- | rump_kernel.mdwn | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/rump_kernel.mdwn b/rump_kernel.mdwn deleted file mode 100644 index 7f7d7cc5..00000000 --- a/rump_kernel.mdwn +++ /dev/null @@ -1,42 +0,0 @@ -[[!meta copyright="Copyright © 2009, 2010 Free Software Foundation, Inc."]] - -[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable -id="license" text="Permission is granted to copy, distribute and/or modify this -document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no Invariant -Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license -is included in the section entitled [[GNU Free Documentation -License|/fdl]]."]]"""]] - - -# Discussion - - The rump kernels provide existing real world drivers from netbsd. Since DDE no longer seems like a promising approach to get drivers for the Hurd, it appears that rump kernels are the best alternative. It already does the hard work of providing an environment where the foreign drivers can run, and offers the additional benefit of being externally maintained. Rump also offers the necessary facilities for running all drivers in separate userspace processes, which is more desirable than drivers running in the microkernel. - - - * [[community/gsoc/project ideas/driver glue code]] - - * [[open issues/user-space device drivers]] - - * [[open issues/device drivers and io systems]] - ---- - -# 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> |