Comment by pclmulqdq
1 day ago
I think you might be surprised that Linux is generally not involved in safety-critical systems. There is a whole separate ecosystem for those applications.
1 day ago
I think you might be surprised that Linux is generally not involved in safety-critical systems. There is a whole separate ecosystem for those applications.
What do they use for that? BSD?
The ones that use an OS generally use seL4 these days.
Thanks. "OS considered harmful" is a satisfying answer, too!