Implementing private address spaces into ABox would be just silly. It only makes memory management more complex without gain.

Maybe low mem (0x0000 - 0x1fff) could be made writable/readable when Basilisk is running, but we will see... with current 1.4 kernels it is not possible.