From e6bec1afcd1c351c13db821a4bb5e899a6c37901 Mon Sep 17 00:00:00 2001
From: Tyler Murphy <=>
Date: Mon, 17 Jul 2023 00:09:26 -0400
Subject: paging

---
 kernel/src/boot/tag.c | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'kernel/src/boot/tag.c')

diff --git a/kernel/src/boot/tag.c b/kernel/src/boot/tag.c
index d4dd0c9..a344d72 100644
--- a/kernel/src/boot/tag.c
+++ b/kernel/src/boot/tag.c
@@ -9,7 +9,6 @@
 static struct BootInfo info;
 
 static void read_cmdline(struct BootTag *tag, char *data, uint8_t len) {
-    debugk("Found cmdline");
     if (len >= CMDLINE_MAX) 
         panic("multiboot2 cmd line to long\nmax is %d but was provided %d\n",
               CMDLINE_MAX, len);
@@ -18,13 +17,11 @@ static void read_cmdline(struct BootTag *tag, char *data, uint8_t len) {
 }
 
 static void read_memorymap(struct BootTag *tag, uint32_t *data) {
-    debugk("Found memorymap");
     tag->data.memory_map = (struct MemoryMap *) data;
     info.tags[iD_MEMORYMAP] = *tag;
 }
 
 static void read_rsdp(struct BootTag *tag, char *data) {
-    debugk("Found RSDP");
     tag->data.rsdp = (struct RootSystemDescriptionPointer *) data;
     info.tags[ID_RSDP] = *tag;
 }
@@ -60,8 +57,6 @@ static uint32_t *read_tag(uint32_t *data) {
 
 void load_boot_info(void* boot_info) {
 
-    debugk("Reading multiboot info");
-
     memset(&info, 0, sizeof(boot_info));
 
     uint32_t* data = (uint32_t*) boot_info;
@@ -72,7 +67,6 @@ void load_boot_info(void* boot_info) {
         data = read_tag(data);
     }
 
-    succek("Loaded multiboot info");
 }
 
 bool get_boot_tag(enum BootTagID id, struct BootTag **tag) {
-- 
cgit v1.2.3-freya