commit a378d126bb545b08f2331b91adc2de9034e05000
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Mar 29 01:47:26 2026 +0100

    x86_64: Increase kernel virtual memory to handle 30GB memory

diff --git a/x86_64/x86_64/vm_param.h b/x86_64/x86_64/vm_param.h
index 38caaeec..63eba559 100644
--- a/x86_64/x86_64/vm_param.h
+++ b/x86_64/x86_64/vm_param.h
@@ -76,11 +76,11 @@
 #ifdef __x86_64__
 /*
  * Vm structures are quite bigger on 64 bit.
- * This should be well enough for 8G of physical memory; on the other hand,
+ * This should be well enough for 30G of physical memory; on the other hand,
  * maybe not all of them need to be in directly-mapped memory, see the parts
  * allocated with pmap_steal_memory().
  */
-#define VM_KERNEL_MAP_SIZE (512 * 1024 * 1024)
+#define VM_KERNEL_MAP_SIZE (1000 * 1024 * 1024)
 #else
 #define VM_KERNEL_MAP_SIZE (170 * 1024 * 1024)
 #endif
diff --git a/i386/i386/vm_param.h b/i386/i386/vm_param.h
index 38caaeec..63eba559 100644
--- a/i386/i386/vm_param.h
+++ b/i386/i386/vm_param.h
@@ -76,11 +76,11 @@
 #ifdef __x86_64__
 /*
  * Vm structures are quite bigger on 64 bit.
- * This should be well enough for 8G of physical memory; on the other hand,
+ * This should be well enough for 30G of physical memory; on the other hand,
  * maybe not all of them need to be in directly-mapped memory, see the parts
  * allocated with pmap_steal_memory().
  */
-#define VM_KERNEL_MAP_SIZE (512 * 1024 * 1024)
+#define VM_KERNEL_MAP_SIZE (1000 * 1024 * 1024)
 #else
 #define VM_KERNEL_MAP_SIZE (170 * 1024 * 1024)
 #endif
