search

seL4 / rfcs

RFCs for the seL4 ecosystem
https://sel4.github.io/rfcs/
Other
0 stars 1 forks source link

RFC-17: seL4 multikernel IPI API #23

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

Original Jira issue and discussion

This RFC was approved and is under implementation.