I believe there are a couple of ARM platforms (the Raspberry Pi 3 is one of them) that have a non-standard interrupt controller. This platforms are configured with HAVE_SET_TRIGGER to false, which means that the kernel invocation seL4_IRQControl_GetTrigger cannot be used.
Right now this isn't a problem for any of the supported platforms by Microkit, but it may be a problem in the future. This depends on https://github.com/seL4/seL4/issues/1073 being solved.
I believe there are a couple of ARM platforms (the Raspberry Pi 3 is one of them) that have a non-standard interrupt controller. This platforms are configured with
HAVE_SET_TRIGGERto false, which means that the kernel invocationseL4_IRQControl_GetTriggercannot be used.Right now this isn't a problem for any of the supported platforms by Microkit, but it may be a problem in the future. This depends on https://github.com/seL4/seL4/issues/1073 being solved.