Add ability to print numbers in decimal

[nameless-os.git] / kernel / kernel.c

diff --git a/kernel/kernel.c b/kernel/kernel.c
index 0aa8fc260ddfd604789fa6e2ff0050cb2f4a8970..16b2b404e9f009fbe4e0ed912612152c6b3aa3aa 100644 (file)
--- a/kernel/kernel.c
+++ b/kernel/kernel.c
@@ -5,6 +5,9 @@
 #include <stdint.h>
 #include <mm/paging.h>
 
+struct abort_frame;
+struct interrupt_frame;
+struct fault_frame;
 extern void double_fault(struct abort_frame *frame);
 extern void keyb_handler(struct interrupt_frame *frame);
 extern void pf_handler(struct fault_frame *frame);
@@ -56,5 +59,9 @@ void kmain(struct e820_map *mmap, int mmap_size)
        pic_unmask(1);
        asm volatile ("sti");
        kprint("All done\n", 0);
+       kprintdec(12345);
+       kprintc('\n');
+       kprintdec(6789);
+       kprintc('\n');
        while(1);
 }