diff options
| -rw-r--r-- | src/arch/riscv/virtual_memory.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arch/riscv/virtual_memory.c b/src/arch/riscv/virtual_memory.c index 2095bfa440..0163a4596e 100644 --- a/src/arch/riscv/virtual_memory.c +++ b/src/arch/riscv/virtual_memory.c @@ -107,7 +107,7 @@ void initVirtualMemory(void) { printk(BIOS_DEBUG, "Initializing virtual memory...\n"); uintptr_t physicalStart = 0x1000000; // TODO: Figure out how to grab this from cbfs uintptr_t virtualStart = 0xffffffff81000000; - uintptr_t pageTableStart = 0x1f0000; + uintptr_t pageTableStart = 0x1400000; init_vm(virtualStart, physicalStart, pageTableStart); mb(); printk(BIOS_DEBUG, "Finished initializing virtual memory, starting walk...\n"); |