selfe-start 0.1.0

Crate defining the entry point to the initial thread on seL4