Give RS a page table.

2010-06-28 21:53:37 +00:00
parent 869a223d43
commit 06700d05d1
16 changed files with 205 additions and 45 deletions
--- a/kernel/kernel.h
+++ b/kernel/kernel.h
@@ -49,6 +49,7 @@
 #include "glo.h"		/* global variables */
 #include "ipc.h"		/* IPC constants */
 #include "profile.h"		/* system profiling */
+#include "perf.h"		/* performance-related definitions */
 #include "debug.h"		/* debugging, MUST be last kernel header */

 #endif /* __ASSEMBLY__ */