Requirement ID: F004-6
As a maintainer, I want to isolate the kernel memory from user code, so that an error in user code cannot corrupt the whole system.