~/talk

A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework

Talkat FOSDEM 2022 · on Saturday, 2022-02-05· at 11:20· D.microkernel

speaker

name:Damien Zammit

links:none on file

resources

video:https://video.fosdem.org/2022/D.microkernel/dzammit.mp4

slides:https://fosdem.org/2022/schedule/event/dzammit/attachments/slides/4850/export/events/attachments/dzammit/slides/4850/rump_hurd_talk.pdf

summary

Reuses NetBSD kernel drivers via the rumpkernel framework to provide peripherals for GNU/Hurd, showing a userspace rump disk driver that lets a driverless gnumach Hurd kernel boot. Describes splitting ACPI, PCI and the device driver into separate processes communicating over RPC, isolating debugging and licensing concerns.

AI-written summary · about