Re:The SeL4 Microkernel: An Introduction [pdf]
by pjmlp on Sunday March 23, 2025 @01:56PM
(#43454550)
It is the same in safer systems programming languages, we already have the concept since 1961, but apparently making the industry take the right decisions is a tenuous path until something finally makes good ideas stick and gain adoption.
[ Parent
| on HN ]
There are no comments on this comment yet.