search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Add option to declare IRQ as "edge" triggered #32

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 1 year ago

Currently all interrupts are registered as level-triggered, this patch enables users to specify a interrupt in the system description as edge-triggered instead.

One alternative solution would be to look at the device tree for the interrupt trigger type instead.

Ivan-Velickovic commented 11 months ago

One issue I've just found with this current patch is that it assumes all ARM platforms have the kernel configuration HAVE_SET_TRIGGER set which is not true (the Raspberry Pi 3B being the only exception to my knowledge).

Ivan-Velickovic commented 9 months ago

This PR can be completed once https://github.com/seL4/seL4/issues/1073 is resolved.