I think you might be surprised that Linux is generally not involved in safety-cr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

pclmulqdq 42 days ago | parent | context | favorite | on: The fall of the theorem economy

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 42 days ago [–]

What do they use for that? BSD?

pclmulqdq 42 days ago | [–]

The ones that use an OS generally use seL4 these days.

andai 42 days ago | | [–]

Thanks. "OS considered harmful" is a satisfying answer, too!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact