[vm] allow config space to set kernel address space size, ARM sets to top 3GB

2014-07-24 15:25:08 -07:00
parent e35c99d004
commit cb41b90187
3 changed files with 24 additions and 2 deletions
--- a/kernel/vm/vmm.c
+++ b/kernel/vm/vmm.c
@@ -41,8 +41,8 @@ void vmm_init(void)
 {
    /* initialize the kernel address space */
    strlcpy(_kernel_aspace.name, "kernel", sizeof(_kernel_aspace.name));
-    _kernel_aspace.base = KERNEL_BASE;
-    _kernel_aspace.size = ULONG_MAX - _kernel_aspace.base + 1; // XXX make smarter
+    _kernel_aspace.base = KERNEL_ASPACE_BASE,
+    _kernel_aspace.size = KERNEL_ASPACE_SIZE,
    list_initialize(&_kernel_aspace.region_list);

    list_add_head(&aspace_list, &_kernel_aspace.node);