[seL4] new RFCs

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