vkernel64 - Raise the memory requirements to 64MB.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Fri, 4 Feb 2011 17:37:28 +0000 (18:37 +0100)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Fri, 4 Feb 2011 17:37:28 +0000 (18:37 +0100)
sys/platform/vkernel64/platform/init.c

index 16b543a..fab9a6c 100644 (file)
@@ -392,8 +392,8 @@ init_sys_memory(char *imageFile)
        /*
         * Maxmem must be known at this time
         */
-       if (Maxmem_bytes < 32 * 1024 * 1024 || (Maxmem_bytes & SEG_MASK)) {
-               errx(1, "Bad maxmem specification: 32MB minimum, "
+       if (Maxmem_bytes < 64 * 1024 * 1024 || (Maxmem_bytes & SEG_MASK)) {
+               errx(1, "Bad maxmem specification: 64MB minimum, "
                       "multiples of %dMB only",
                       SEG_SIZE / 1024 / 1024);
                /* NOT REACHED */