Tomorrow Eli is still on holiday so we cannot continue the Kernel FFI discussion.
However we'll start a working session with the support of Daniel Bristot evaluating if/how the kernel can satisfy KSR_0002 from
https://docs.google.com/spreadsheets/d/1EbuVvhXo-xZc2aPTfMgQtPNPDQYtcozs/edit#gid=584539121. I.e. "The operating system shall mantain and enforce the integrity of the process address space along with the process lifecycle".