Home
What is seL4?
seL4 Foundation
Stay in Touch
Contribute
- Contribute
- GitHub
Use
Learn
More Info
- More Info
- FAQ
- Roadmap
- Research
News

Home
seL4 Foundation
Governing Board
Minutes

seL4 Board Minutes

Confirmed Minutes

1^st meeting of 2020-03-18
2^nd meeting of 2020-08-26
3^rd meeting of 2020-10-16
4^th meeting of 2021-04-13

Unconfirmed Minutes

5^th meeting of 2021-06-09

Copyright © 2020 seL4 Project a Series of LF Projects, LLC.
seL4 is a trademark of LF Projects, LLC.
For trademark usage guidelines, privacy and cookie policies, and other applicable policies, as well as terms and conditions governing this web site, please see www.lfprojects.org and the trademark guidelines.