1 files changed, 12 insertions, 3 deletions
diff --git a/src/kernel.cc b/src/kernel.cc
index c083364..2fa90e3 100644
--- a/src/kernel.cc
+++ b/src/kernel.cc
@@ -10,17 +10,26 @@
 
 #include <stdlib.h>
 #include <types.h>
+#include "gdt.h"
 #include "vga.h"
 
-extern "C" void dump_multiboot(uint32_t mb_magic, uint32_t mb_addr);
+extern "C" {
+void dump_multiboot(uint32_t mb_magic, uint32_t mb_addr);
+void dump_gdt();
 
-extern "C" void kernel_main(uint32_t mb_magic, uint32_t mb_addr) {
+void kernel_main([[maybe_unused]] uint32_t mb_magic, [[maybe_unused]] uint32_t mb_addr) {
   VGA terminal;
   Console::set(&terminal);
 
   printk("Hello, kernel World!\n");
 
-  dump_multiboot(mb_magic, mb_addr);
+  // dump_multiboot(mb_magic, mb_addr);
+  dump_gdt();
+
+  printk("Setting new GDT\n");
+  GDT gdt;
+  dump_gdt();
 
   abort();
 }
+}  // extern "C"