4 ms·
Wait until you hear what the Darwin, Linux and Windows kernels are written in...
by junon 6y ago
Wait until you hear what the Darwin, Linux and Windows kernels are written in...
- robertlagrant 6y agoOoh ooh I know I know! They were all written in.. ...the 90s. So it's too late to change them. We should definitely be considering safer languages in 2021.
- junon 6y agoNone of the safe languages I know of that are capable of writing an OS in are "safe" in the verification sense. They require extra, external processes for doing such. See the SEL4 kernel.