From 89b9cad0607d8fb81489143e312c1983e3e8a552 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 14 May 2020 22:32:52 +0200
Subject: Some attempts to fix it, nothing works

---
 src/kernel/memory/paging.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/kernel/memory/paging.h')

diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index f1fe064..f0b50b4 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -24,11 +24,11 @@
 #define PT_USED 1 << 9
 
 struct page_table {
-	u32 pages[1024];
+	u32 pages[1024] __attribute__((aligned(4096)));
 };
 
 struct page_directory {
-	struct page_table *tables[1024];
+	struct page_table *tables[1024] __attribute__((aligned(4096)));
 };
 
 struct page_directory *paging_kernel_directory;
@@ -58,4 +58,4 @@ void paging_set_user(u32 virt, u32 count);
 u32 paging_find_pages(u32 count);
 u32 paging_alloc_pages(u32 count);
 
-#endif
\ No newline at end of file
+#endif
-- 
cgit v1.2.3