Hello, I just noticed that the "New Driver Framework" on the wiki recommends DDE as the way to get more userspace drivers, but the git repo recommends a rump kernel. Is there a way to update the wiki? Is this something that I can do?
https://www.gnu.org/software/hurd/community/gsoc/project_ideas.html Thanks, Joshua
