On Wed, Aug 24, 2016 at 9:15 PM, Vasily A. Sartakov <[email protected]> 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. Cool, that's exciting work! (And thanks for your answers, Kevin.) Thanks, Jeff
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
