I am part of Level 5 engineering team at Lyft. For our autonomous car
project we are exploring options for safety critical OS.
I am wondering if your safety critical linux OS is pre-certified to ISO
26262 ASIL D or something similar? Or Do you have plans to do it in future?