Tim is working on a project to reuse Linux device drivers for seL4CP systems by encapsulating them into a minimal virtual machine.
More contact information is available at the Contact page.
