Dan is working on adding an IRQ fast path to seL4.
More contact information is available at the Contact page.
