Ken is working on evaluating Pancake by implementing device drivers on top of seL4.
More contact information is available at the Contact page.
