4 ms·
It does seem like they might have a keg up on security. But if it's written in C..
by ilaksh 6y ago
It does seem like they might have a keg up on security.
But if it's written in C..
- snvzz 6y agoFirstly, it is C++, not C. Secondly, non-C/C++ use in OSs is uncommon, and thus considered research. Thirdly, the microkernel with the strongest formal proof of correctness, seL4, is written in C.