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.