3 ms·
If you're interested, the microkernel is open source: https://github.com/seL4/seL4 https://github.com/seL4/seL4
by trollied 2y ago
If you're interested, the microkernel is open source: https://github.com/seL4/seL4 https://github.com/seL4/seL4
- repelsteeltje 2y agoMore precisely: Generally, kernel-level code is licensed under GPLv2 and user-level code under the 2-clause BSD license.
- lunfard000 2y agothe project seems active but last (github) release was 3 years ago?
- naasking 2y agoI'm not sure you should expect much development for a microkernel that has been proven to meet its specification and to be free of bugs. Microkernels are supposed to have a very small API, so there's not much development needed there unless it doesn't the specification or has other kinds of bugs, which is obviously not the case here.
- lunfard000 2y agoBut they keep accepting PR, shouldn't they tag from now and then so people know what is "stable"?
- CuriousCosmic 2y agoBy it's nature at this state (after the full proving effort is complete), any changes to the main/master branch are inherently "stable" and PRs are only accepted once they reach that state.
- admax88qqq 2y agoThis is the type of software that is "finished". I would expect the code to be pretty frozen.