1 files changed, 11 insertions, 0 deletions
diff --git a/kernel/user.c b/kernel/user.c
new file mode 100644
index 0000000..0a237e9
--- /dev/null
+++ b/kernel/user.c
@@ -0,0 +1,11 @@
+#include <comus/procs.h>
+#include <comus/memory.h>
+
+void user_cleanup(struct pcb *pcb)
+{
+	if (pcb == NULL)
+		return;
+
+	mem_ctx_free(pcb->memctx);
+	pcb->memctx = NULL;
+}