diff --git a/src/system/boot/platform/openfirmware/arch/ppc/mmu.cpp b/src/system/boot/platform/openfirmware/arch/ppc/mmu.cpp
index 262e2c1..ffada43 100644
a
|
b
|
arch_mmu_init(void)
|
869 | 869 | addr_t realSize = 0x400000; |
870 | 870 | |
871 | 871 | // can we just keep the page table? |
872 | | size_t suggestedTableSize = suggested_page_table_size(total); |
| 872 | size_t suggestedTableSize = suggested_page_table_size(total) * 2; |
873 | 873 | printf("suggested page table size = %u\n", suggestedTableSize); |
874 | 874 | if (tableSize < suggestedTableSize) { |
875 | 875 | // nah, we need a new one! |