Simple interface for seL4 -- abstracts over the userlevel environment, indepedent of how userlevel was loaded.