# SeL4

> microkernel

**Wikidata**: [Q20755116](https://www.wikidata.org/wiki/Q20755116)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/SeL4)  
**Source**: https://4ort.xyz/entity/sel4


## References

1. [GitHub](https://sel4.systems/Legal/license.html)
2. [2017](https://github.com/seL4/seL4/releases/tag/7.0.0)
3. [2017](https://github.com/seL4/seL4/releases/tag/6.0.0)
4. [2017](https://github.com/seL4/seL4/releases/tag/5.2.0)
5. [2017](https://github.com/seL4/seL4/releases/tag/5.1.0)
6. [2017](https://github.com/seL4/seL4/releases/tag/5.0.0)
7. [2016](https://github.com/seL4/seL4/releases/tag/4.0.0)
8. [2016](https://github.com/seL4/seL4/releases/tag/3.2.0)
9. [2016](https://github.com/seL4/seL4/releases/tag/3.1.0)
10. [2016](https://github.com/seL4/seL4/releases/tag/3.0.1)
11. [2016](https://github.com/seL4/seL4/releases/tag/3.0.0)
12. [2016](https://github.com/seL4/seL4/releases/tag/2.1.0)
13. [2015](https://github.com/seL4/seL4/releases/tag/2.0.0)
14. [2014](https://github.com/seL4/seL4/releases/tag/API-master-01-03--release-2014-08-10)
15. [2018](https://github.com/seL4/seL4/releases/tag/8.0.0)
16. [2018](https://github.com/seL4/seL4/releases/tag/9.0.0)
17. [2018](https://github.com/seL4/seL4/releases/tag/9.0.1)
18. [2018](https://github.com/seL4/seL4/releases/tag/10.0.0)
19. [2018](https://github.com/seL4/seL4/releases/tag/10.1.0)
20. [2018](https://github.com/seL4/seL4/releases/tag/10.1.1)
21. [2020](https://github.com/seL4/seL4/releases/tag/11.0.0)
22. [2020](https://github.com/seL4/seL4/releases/tag/12.0.0)
23. [2021](https://github.com/seL4/seL4/releases/tag/12.1.0)
24. [2024](https://github.com/seL4/seL4/releases/tag/13.0.0)
25. [2025](https://github.com/seL4/seL4/releases/tag/14.0.0)
26. [2026](https://github.com/seL4/seL4/releases/tag/15.0.0)
27. [Source](https://api.github.com/repos/seL4/seL4)