summaryrefslogtreecommitdiff
path: root/community/gsoc
diff options
context:
space:
mode:
authorjbranso@dismail.de <jbranso@dismail.de>2023-05-24 14:43:04 -0400
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-05-25 01:45:52 +0200
commit3982e324b84dc3efbdc52e8506c8b00e0940c3df (patch)
treeffc5f11c8b8914ba48511f7e3cdb162d439a0fdb /community/gsoc
parent020a827253b88b7e8938739b3ae0ee1d6d550546 (diff)
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 'community/gsoc')
-rw-r--r--community/gsoc/project_ideas/driver_glue_code.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/community/gsoc/project_ideas/driver_glue_code.mdwn b/community/gsoc/project_ideas/driver_glue_code.mdwn
index db1816c9..3d0a9192 100644
--- a/community/gsoc/project_ideas/driver_glue_code.mdwn
+++ b/community/gsoc/project_ideas/driver_glue_code.mdwn
@@ -27,7 +27,7 @@ This is [[!GNU_Savannah_task 5488]].
[[open issues/user-space device drivers]].
[[open issues/device drivers and io systems]].
-The most promising approach for getting newer drivers seems to be the [[Rump_kernel]]:
+The most promising approach for getting newer drivers seems to be the [[rump kernel|hurd/rump]]:
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.