From 98a0c4c5e969e1593af010277543d1857f1a8af1 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Thu, 25 May 2023 01:46:01 +0200
Subject: Restore urls lost in previous commit

---
 hurd/rump.mdwn | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'hurd/rump.mdwn')

diff --git a/hurd/rump.mdwn b/hurd/rump.mdwn
index 6e4a00db..ddde657f 100644
--- a/hurd/rump.mdwn
+++ b/hurd/rump.mdwn
@@ -44,3 +44,22 @@ environments and some are using it on real hardware!
 We do hope to use rump kernels for usb support, sound support (this
 was working at some point), and possibly a new TCP/IP stack, but work
 has not completed on those projects.
+
+# Documentation
+
+  * <http://www.fixup.fi/misc/usenix-login-2015/login_oct15_02_kantee.pdf>
+
+    This is an an opinion paper that explains why operating systems need compartmentalized kernel drivers.
+
+  * <https://github.com/rumpkernel/wiki/wiki/Tutorial:-Getting-started>
+
+    A tutorial introduction for those interested in using and deploying rump kernels.
+
+  * <https://core.ac.uk/display/41816390>
+
+    "User space approach to audio device driving on UNIX-like systems" by Robert Millan Hernandez.
+
+
+# Source Code
+
+  * <https://github.com/rumpkernel>
-- 
cgit v1.2.3