@drq I was left with this impression after checking out the redox kernel sources https://gitlab.redox-os.org/search?group_id=3&nav_source=navbar&project_id=17&repository_ref=master&search=unsafe&search_code=true

Perhaps I jumped to conclusions too fast, and perhaps there are other ways too.