Eric is working on the seL4 Core Platform device virtualisation.
More contact information is available at the Contact page.
