drivers/README.md

Drivers

Table of contents

• Overview
• Table of contents
• Links

Links

• 6 Mar 2017 Using Rump kernels to run unmodified NetBSD drivers on seL4

• 6 Mar 2017 Using Rump kernels to run unmodified NetBSD drivers on seL4

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

• 6 Feb 2022 GNU/Hurd Continues Effort To Use NetBSD's Drivers For Better Hardware Support

• https://github.com/seL4/rumprun-sel4-demoapps

• Tutorial On Rump Kernel Servers and Clients

• rumpkernel