From 7c0fda09327ef1456db4a0214b65b80156118017 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Wed, 25 Oct 2006 13:07:58 +0000
Subject: [PATCH] Include kernel/priv.h for rs/manager.h

---
 servers/is/dmp_rs.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/servers/is/dmp_rs.c b/servers/is/dmp_rs.c
index 5aa2010f3..beec021fa 100644
--- a/servers/is/dmp_rs.c
+++ b/servers/is/dmp_rs.c
@@ -8,6 +8,8 @@
  */
 
 #include "inc.h"
+#include <timers.h>
+#include "../../kernel/priv.h"
 #include "../rs/manager.h"
 
 PUBLIC struct rproc rproc[NR_SYS_PROCS];
-- 
2.44.0