3 ms·
The formally verified seL4 kernel: https://sel4.systems/About https://sel4.systems/About Plan9 broke some new ground as well. What holds back any progress wit
by GianFabien 2y ago
The formally verified seL4 kernel: https://sel4.systems/About https://sel4.systems/About
Plan9 broke some new ground as well.
What holds back any progress with OS research is the requirement to run existing software. For example, Haiku-OS (which is a re-engineering of BeOS) is failing to gain much traction because people want to run Firefox, LibreOffice, etc on it. And of course, with a novel OS architecture, it requires an adaption layer. Which in turn largely negates the impact of any new OS architecture.
- mikewarot 2y agoThe desire to shoe-horn in the ability to run applications based on ambient authority must always be fought. We don't just jumper wire toasters directly into the power grid, we shouldn't do the equivalent with programs.