summaryrefslogtreecommitdiff
path: root/i386/i386at/model_dep.c
diff options
context:
space:
mode:
Diffstat (limited to 'i386/i386at/model_dep.c')
-rw-r--r--i386/i386at/model_dep.c41
1 files changed, 37 insertions, 4 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index 975f60a..3929293 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -117,6 +117,8 @@ vm_offset_t int_stack_top, int_stack_high;
extern void linux_init(void);
#endif
+boolean_t init_alloc_aligned(vm_size_t size, vm_offset_t *addrp);
+
/*
* Find devices. The system is alive.
*/
@@ -267,6 +269,41 @@ i386at_init(void)
*/
mem_size_init();
+ /* Copy content pointed by boot_info before losing access to it when it
+ * is too far in physical memory. */
+ if (boot_info.flags & MULTIBOOT_CMDLINE) {
+ vm_offset_t addr;
+ int len = strlen ((char*)phystokv(boot_info.cmdline)) + 1;
+ assert(init_alloc_aligned(round_page(len), &addr));
+ kernel_cmdline = (char*) addr;
+ memcpy(kernel_cmdline, (char*)phystokv(boot_info.cmdline), len);
+ boot_info.cmdline = (vm_offset_t) kernel_cmdline;
+ }
+
+ if (boot_info.flags & MULTIBOOT_MODS) {
+ struct multiboot_module *m;
+ vm_offset_t addr;
+ int i;
+
+ assert(init_alloc_aligned(round_page(boot_info.mods_count * sizeof(*m)), &addr));
+ m = (void*) addr;
+ memcpy(m, (void*) phystokv(boot_info.mods_addr), boot_info.mods_count * sizeof(*m));
+ boot_info.mods_addr = (vm_offset_t) m;
+
+ for (i = 0; i < boot_info.mods_count; i++) {
+ vm_size_t size = m[i].mod_end - m[i].mod_start;
+ assert(init_alloc_aligned(round_page(size), &addr));
+ memcpy((void*) addr, (void*) phystokv(m[i].mod_start), size);
+ m[i].mod_start = addr;
+ m[i].mod_end = addr + size;
+
+ size = strlen((char*) phystokv(m[i].string)) + 1;
+ assert(init_alloc_aligned(round_page(size), &addr));
+ memcpy((void*) addr, (void*) phystokv(m[i].string), size);
+ m[i].string = addr;
+ }
+ }
+
/*
* Initialize kernel physical map, mapping the
* region from loadpt to avail_start.
@@ -349,10 +386,6 @@ void c_boot_entry(vm_offset_t bi)
printf(version);
printf("\n");
- /* Find the kernel command line, if there is one. */
- if (boot_info.flags & MULTIBOOT_CMDLINE)
- kernel_cmdline = (char*)phystokv(boot_info.cmdline);
-
#if MACH_KDB
/*
* Locate the kernel's symbol table, if the boot loader provided it.