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.
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to