update release docs - Githubissues

seL4 / docs

This is the source of the seL4 docs.

https://docs.sel4.systems

16 stars 52 forks source link

update release docs #260

Closed lsf37 closed 3 months ago

lsf37 commented 3 months ago

move internal release procedure to release repo
bring description of versioned releases up to date