seL4 / rfcs

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

create mdbook setup for RFCs #2

Closed lsf37 closed 4 months ago

lsf37 commented 4 months ago

It'd be nice to render accepted (implemented, active, and deferred) RFCs as mdBook so they are more readable and easier to browse.

For this we'd need to:

It does not look like we'd need a separate text directory like in the rust repo, it should be fine to put everything directly into src for the book.