From 2a55eb781b95163d22d7ec1b4204315ff5b68164 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 28 Aug 2015 07:59:02 +0200 Subject: [PATCH] use kernel_stack and kernel_end to determine the size of the kernel --- hermit/mm/memory.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/hermit/mm/memory.c b/hermit/mm/memory.c index 3be5ce2d5..141914a59 100644 --- a/hermit/mm/memory.c +++ b/hermit/mm/memory.c @@ -36,7 +36,6 @@ extern uint64_t base; extern uint64_t limit; -extern uint64_t image_size; typedef struct free_list { size_t start, end; @@ -192,7 +191,7 @@ int copy_page(size_t pdest, size_t psrc) int memory_init(void) { - size_t addr; + size_t addr, image_size = (size_t) &kernel_end - (size_t) &kernel_start; int ret = 0; // enable paging and map Multiboot modules etc. @@ -204,13 +203,13 @@ int memory_init(void) kprintf("memory_init: base 0x%zx, image_size 0x%zx, limit 0x%zx\n", base, image_size, limit); - // mark available memory as free + // determine available memory for(addr=base; addr