search

seL4 / rfcs

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

RFC-1: An RFC process for the seL4 ecosystem #9

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

This imports RFC-1 from Jira.

Rendered version of the RFC in this PR.

lsf37 commented 4 months ago

This was originally proposed by Curtis Millar, see Jira RFC-1 for comments on the original proposal.