It took me a while, but I found the culprit [here](https://github.com/zrho/Hydrogen/blob/master/loader/src/page.c#L74). Why are new pages (the kernel's, for instance) accessible to the userland?
It took me a while, but I found the culprit here.
Why are new pages (the kernel's, for instance) accessible to the userland?