4 ms·

the project seems active but last (github) release was 3 years ago?

• naasking 2y ago
  I'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 ago
    But they keep accepting PR, shouldn't they tag from now and then so people know what is "stable"?
    • CuriousCosmic 2y ago
      By 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 ago
  This is the type of software that is "finished". I would expect the code to be pretty frozen.