tsc: minutes for 7th TSC meeting

seL4 / website

The seL4.systems website

https://seL4.systems

3 stars 14 forks source link

Closed lsf37 closed 8 months ago

lsf37 commented 8 months ago

Ivan-Velickovic commented 8 months ago

GK+CL: move Microkit repository to seL4 foundation

I think this might be a typo.

lsf37 commented 8 months ago

GK+CL: move Microkit repository to seL4 foundation

I think this might be a typo.

Indeed, that's supposed to be the RFC-on-GitHub item

(Edit: now fixed.)