Changes in boot/arch/riscv64/src/main.c [ae8d7b0:c09ff7b] in mainline

File:

• boot/arch/riscv64/src/main.c (modified) (7 diffs)

boot/arch/riscv64/src/main.c

@@ -30 +30 @@
 #include <arch/arch.h>
 #include <arch/asm.h>
-#include <arch/ucb.h>
-#include <arch/mm.h>
 #include <version.h>
 #include <stddef.h>
@@ -43 +41 @@
 #include "../../components.h"
 
+#define KA2PA(x)  (((uintptr_t) (x)) - UINT64_C(0xffff800000000000))
+#define PA2KA(x)  (((uintptr_t) (x)) + UINT64_C(0xffff800000000000))
+
 static bootinfo_t bootinfo;
 
@@ -49 +50 @@
         version_print();
         
-        bootinfo.htif_frame = ((uintptr_t) &htif_page) >> PAGE_WIDTH;
-        bootinfo.pt_frame = ((uintptr_t) &pt_page) >> PAGE_WIDTH;
+        // FIXME TODO: read from device tree
+        bootinfo.memmap.total = 1024 * 1024 * 1024;
+        bootinfo.memmap.cnt = 0;
         
-        bootinfo.ucbinfo.tohost =
-            (volatile uint64_t *) PA2KA((uintptr_t) &tohost);
-        bootinfo.ucbinfo.fromhost =
-            (volatile uint64_t *) PA2KA((uintptr_t) &fromhost);
-        
-        // FIXME TODO: read from device tree
-        bootinfo.physmem_start = PHYSMEM_START;
-        bootinfo.memmap.total = PHYSMEM_SIZE;
-        bootinfo.memmap.cnt = 1;
-        bootinfo.memmap.zones[0].start = (void *) PHYSMEM_START;
-        bootinfo.memmap.zones[0].size = PHYSMEM_SIZE;
-        
-        printf("\nMemory statistics (total %lu MB, starting at %p)\n\n",
-            bootinfo.memmap.total >> 20, (void *) bootinfo.physmem_start);
+        printf("\nMemory statistics (total %lu MB)\n\n", bootinfo.memmap.total >> 20);
         printf(" %p: boot info structure\n", &bootinfo);
         
-        uintptr_t top = BOOT_OFFSET;
+        uintptr_t top = 0;
         
         for (size_t i = 0; i < COMPONENTS; i++) {
@@ -77 +66 @@
                 uintptr_t tail = (uintptr_t) components[i].addr +
                     components[i].size;
-                if (tail > top) {
-                        printf("\n%s: Image too large to fit (%p >= %p), halting.\n",
-                            components[i].name, (void *) tail, (void *) top);
-                        halt();
-                }
+                if (tail > top)
+                        top = tail;
         }
         
+        top = ALIGN_UP(top, PAGE_SIZE);
         printf(" %p: inflate area\n", (void *) top);
         
@@ -105 +92 @@
                         bootinfo.taskmap.cnt++;
                 } else
-                        kernel_entry = (void *) PA2KA(top);
+                        kernel_entry = (void *) top;
                 
                 dest[i] = (void *) top;
@@ -114 +101 @@
         printf(" %p: kernel entry point\n", kernel_entry);
         
-        if (top >= bootinfo.physmem_start + bootinfo.memmap.total) {
+        if (top >= bootinfo.memmap.total) {
                 printf("Not enough physical memory available.\n");
                 printf("The boot image is too large. Halting.\n");
@@ -138 +125 @@
         
         printf("Booting the kernel...\n");
-        jump_to_kernel(PA2KA(&bootinfo));
+        jump_to_kernel(kernel_entry, PA2KA(&bootinfo));
 }