Fix PMM for real HW + serial lock

2026-03-19 16:54:23 +01:00
parent b77c53ae99
commit 6a82d581fb
9 changed files with 52 additions and 45 deletions
@@ -173,9 +173,9 @@ void paging_init(struct boot_context boot_ctx)
        }
    }

-    // 4GB
+    // 8GB
    if (max_phys > PAGING_MAX_PHYS) {
-        DEBUG("WARNING: max_phys capped to 4GB (%x) (from max_phys=%p)", PAGING_MAX_PHYS, max_phys);
+        DEBUG("WARNING: max_phys capped to PAGING_MAX_PHYS (from max_phys=%p)", max_phys);
        max_phys = PAGING_MAX_PHYS;
    }