search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

Fix typos in Microkit 1.4.1 release notes #265

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

Given that people will probably refer to these in the future, it's worth fixing the typos.