Drivers
=======



Table of contents
-----------------

* [Overview](#drivers)
* [Table of contents](#table-of-contents)
* [Links](#links)



Links
-----

* *6 Mar 2017* [Using Rump kernels to run unmodified NetBSD drivers on seL4](https://research.csiro.au/tsblog/using-rump-kernels-to-run-unmodified-netbsd-drivers-on-sel4/)
* *6 Mar 2017* [Using Rump kernels to run unmodified NetBSD drivers on seL4](https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/ADTORDWZUVEAWJIOT5VMKK72YJDZ7ZDU/)
* *5 Feb 2022* [A practical solution for GNU/Hurd's lack of drivers: NetBSD's rumpkernel framework](https://archive.fosdem.org/2022/schedule/event/dzammit/)
* *6 Feb 2022* [GNU/Hurd Continues Effort To Use NetBSD's Drivers For Better Hardware Support](https://www.phoronix.com/news/GNU-Hurd-NetBSD-Drivers-2022)

* https://github.com/seL4/rumprun-sel4-demoapps
* https://github.com/seL4/rumprun
* [Tutorial On Rump Kernel Servers and Clients](https://www.netbsd.org/docs/rump/sptut.html)
* [rumpkernel](https://wiki.netbsd.org/rumpkernel/)