seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.