[AlotOfReading]

I know at least one autonomous vehicle company is using it as their base OS in the autonomy stack, with efforts at extending some form of verification up to the high level code.

[tombert]

That's cool as hell! I didn't know that but it makes me happy to see it getting a bit more love.