​Hi Richard, Have you looked at the ​​ethernet-demo-x86-manifest[1]? It uses an ethernet driver in an interrupt driven way: https://github.com/SEL4PROJ/camkes-apps-ethernet-demo-x86--devel/blob/master.... I can't guarantee that the app works, but there does appear to be a working-20170113.xml snapshot. [1] https://github.com/SEL4PROJ/ethernet-demo-x86-manifest Kind regards, Kent McLeod From: Devel on behalf of Richard Clark Sent: Thursday, March 8, 2018 4:48 AM To: devel@sel4.systems Subject: [seL4] irq_server example? Interrupt handlers?   Hi all!   I have an Ethernet driver underneath an lwip implementation that I’ve gotten to run threaded tcpip. It happily passes messages back and forth and all around between half a dozen threads over a dozen ports all on localhost. Every once in a while though, it wants to send a packet to the outside world… this of course invokes the Ethernet driver, which rather annoyingly, is polled. I am looking for the proper way to convert my polled Ethernet driver to be interrupt-driven…. however the sel4 interrupt-handling/dispatching seems to escape my grasp and I could use a little help… It would appear that there is a mechanism to register a request to receive a message whenever an interrupt occurs? irq_server.c? Are there some nice simple examples out there? Is there an easier way perhaps?     Thanks!   Richard H. Clark   This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.