James is working to improve the locking in multicore seL4.
More contact information is available at the Contact page.