Implementation of simple interface for master branch of seL4.