Give RS a page table.

kernel/perf.h

@@ -0,0 +1,12 @@
+#ifndef PERF_H
+#define PERF_H
+
+/* This header file defines all performance-related constants and macros. */
+
+/* Enable copy-on-write optimization for safecopy. */
+#define PERF_USE_COW_SAFECOPY 0
+
+/* Use a private page table for critical system processes. */
+#define PERF_SYS_CORE_FULLVM 0
+
+#endif /* PERF_H */

lib/libc/other/_vm_memctl.c

@@ -0,0 +1,12 @@
+#include <lib.h>
+#define vm_memctl _vm_memctl
+#include <unistd.h>
+
+PUBLIC int vm_memctl(endpoint_t ep, int req)
+{
+	message m;
+	m.VM_RS_CTL_ENDPT = ep;
+	m.VM_RS_CTL_REQ = req;
+
+	return _syscall(VM_PROC_NR, VM_RS_MEMCTL, &m);
+}

lib/libc/syscall/vm_memctl.S

@@ -0,0 +1,7 @@
+.text
+.extern	__vm_memctl
+.globl	_vm_memctl
+.balign	2
+
+_vm_memctl:
+	jmp	__vm_memctl