Show kernel size/address

src/hos_main.c

@@ -21,4 +21,5 @@ void hos_main(uint32_t mbinfo_addr)
     mm_init();
     mbinfo_load();
     klog_printf("Found %dKB of usable RAM\n", mm_get_total_ram() / 1024u);
+    klog_printf("Kernel is %dKB at 0x%x\n", mm_get_kernel_size() / 1024u, mm_get_kernel_address());
 }

src/mm.c

@@ -1,5 +1,4 @@
 #include "mm.h"
-#include "klog.h"
 
 #define PAGE_SIZE 4096u
 
@@ -65,10 +64,20 @@ void mm_register_ram_region(uint64_t base, uint32_t size)
 
 void mm_init(void)
 {
-    mm_total_ram = &_hos_mem_end - &_hos_mem_start;
+    mm_total_ram = mm_get_kernel_size();;
 }
 
 size_t mm_get_total_ram(void)
 {
     return mm_total_ram;
 }
+
+size_t mm_get_kernel_address(void)
+{
+    return (size_t)&_hos_mem_start;
+}
+
+size_t mm_get_kernel_size(void)
+{
+    return &_hos_mem_end - &_hos_mem_start;
+}

src/mm.h

@@ -7,5 +7,7 @@
 void mm_init(void);
 void mm_register_ram_region(uint64_t base, uint32_t size);
 size_t mm_get_total_ram(void);
+size_t mm_get_kernel_address(void);
+size_t mm_get_kernel_size(void);
 
 #endif