← Back to context Comment by andai 1 day ago Like Linux? ;) 4 comments andai Reply 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. andai 1 day ago What do they use for that? BSD? pclmulqdq 1 day ago The ones that use an OS generally use seL4 these days. 1 reply →
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. andai 1 day ago What do they use for that? BSD? pclmulqdq 1 day ago The ones that use an OS generally use seL4 these days. 1 reply →
andai 1 day ago What do they use for that? BSD? pclmulqdq 1 day ago The ones that use an OS generally use seL4 these days. 1 reply →
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.
1 reply →