From 654934e0b5e5ef08e6fd337d5ceb864289796c66 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 27 Oct 2019 13:07:06 +0100
Subject: Improved boot process and color scheme

---
 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 3739100..02fc253 100644
--- a/src/kernel/paging/paging.c
+++ b/src/kernel/paging/paging.c
@@ -24,6 +24,7 @@ void paging_install() {
     paging_set_used(0, ((uint32_t) end >> 12) + 1);
 
     paging_enable();
+    vga_log("Installed paging", 4);
 }
 
 int paging_enabled() {
-- 
cgit v1.2.3