diff --git a/README.md b/README.md index 8ecbc12..87ca199 100644 --- a/README.md +++ b/README.md @@ -21,5 +21,6 @@ Links * *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/)