Hi,
Can someone explain exactly what the KERNEL_LOAD_BASE is for? And why
it needs to be hard-coded, rather than say part of the kernel args
struct?
Given that the bootloader for EFI is position independent, and the
workarounds that are needed due to a lack of fine grained control over
paging, I'm wondering if some of these hard coded values that get
reused in the parts of the kernel could be contributing to the page
faults that I'm getting.
Cheers,
Jessica
