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.
