On Wed, Aug 24, 2016 at 9:15 PM, Vasily A. Sartakov <sartakov@ksyslabs.org> wrote:

I am using seL4 tutorials as user-space programs. Now I am working with «hello-4». Previous programs are ok, thus, now my port supports creation of threads, context switching, messaging and syscalls and more. There are some issues with PD  creation.  So, before the end of September, alpha version of seL4/MIPS will be done, I hope.