Re: [seL4] syscalls and tlb

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.

Cool, that's exciting work!

(And thanks for your answers, Kevin.)

Thanks, Jeff