diff --git a/README.md b/README.md index dccc95c..8ecbc12 100644 --- a/README.md +++ b/README.md @@ -8,3 +8,18 @@ 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 +* [Tutorial On Rump Kernel Servers and Clients](https://www.netbsd.org/docs/rump/sptut.html) +* [rumpkernel](https://wiki.netbsd.org/rumpkernel/)