From 84a8b41f4d4c444385e0d7ef058a57af07f0c2e1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Jan 2020 00:06:45 +0100
Subject: Usermode based allocating works a bit now

*a bit*
---
 src/kernel/paging/paging.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/kernel/paging/paging.c')

diff --git a/src/kernel/paging/paging.c b/src/kernel/paging/paging.c
index 33c57bd..e23c02c 100644
--- a/src/kernel/paging/paging.c
+++ b/src/kernel/paging/paging.c
@@ -146,6 +146,7 @@ uint32_t paging_alloc_pages(uint32_t count)
 {
     uint32_t ptr = paging_find_pages(count);
     paging_set_used(ptr, count);
+    paging_set_user(ptr, count);
     return ptr;
 }
 
-- 
cgit v1.2.3