-
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
-
Notifications
You must be signed in to change notification settings - Fork 0
Reusable drivers
License
tailix/drivers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|