mirror of
https://github.com/tailix/drivers.git
synced 2024-11-20 11:06:32 -05:00
26 lines
1 KiB
Markdown
26 lines
1 KiB
Markdown
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/)
|