Interface for virtual memory management on seL4.