I would like to draw your attention to two new RFCs that have been proposed for discussion and later decision by the technical steering committee:
RFC-17: seL4 multikernel IPI (Inter-Processor Interrupt) API
https://sel4.atlassian.net/browse/RFC-17
RFC-16: Add new capability for the PMU (Performance Management Unit)
https://sel4.atlassian.net/browse/RFC-16
Please comment and give feedback if you have any.
The slightly older RFC-15 and RFC-14 that may benefit from further discussion (type RFC-15 or RFC-14 into the search field at the top of the page on https://sel4.atlassian.net/).
Cheers, Gerwin