History log of /seL4-camkes-master/projects/global-components/templates/seL4GlobalAsynchHardwareInterrupt.template.c
Revision Date Author Comments
# e98cf695 28-Apr-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add seL4GlobalAsynchHardwareInterrupt connector

This connector allows IRQs to be sent to a global-endpoint object.