Closed
Description
When a PIC kernel is located in higher half, we currently try to allocate 33554177 entries in the level 4 page table, which of course fails. This is the reason that we currently use the static
relocation model for our higher half test:
Line 87 in 4e2b8d7
I think the issue is in these lines:
bootloader/common/src/load_kernel.rs
Lines 64 to 75 in 4e2b8d7
Looks like we only consider the end address for the size calculation, without taking the start address into account. I think we should be able to fix this by using the difference between the max and min address as size instead.