Move the kernel to start at 16M+2M.
authorRonald G. Minnich <rminnich@gmail.com>
Wed, 26 Aug 2015 00:13:17 +0000 (17:13 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
This leaves room for ACPI shit.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
tests/vmm/vmrunkernel.c

index 118557d..019941c 100644 (file)
@@ -171,7 +171,7 @@ int main(int argc, char **argv)
        struct vmctl vmctl;
        int amt;
        int vmmflags = 0; // Disabled probably forever. VMM_VMCALL_PRINTF;
-       uint64_t entry = 0x1000000, kerneladdress = 0x1000000;
+       uint64_t entry = 0x1200000, kerneladdress = 0x1200000;
        int nr_gpcs = 1;
        int fd = open("#c/vmctl", O_RDWR), ret;
        void * x;