Apple has one of, if not the, best OS kernel out there. People will disagree about this, but this is based on all of my using iPhone, macOS, tvOS and a similar

Apple has one of, if not the, best OS kernel out there. People will disagree about this, but this is based on all of my using iPhone, macOS, tvOS and a similar amount of experience with Linux, and a bit of Windows. I do believe the XNU kernel is extremely well built and solid. If Apple does this, they may need a different kernel for real time features, or they would make XNU a realtime kernel. Anyway, my point here really is this. I trust the XNU kernel as one of the most stable best supported out there. And with possibly the exception of seL4, I'm not sure that there are others I would trust more. I'll ask a question now, what other company providing a full OS stack do you trust more to deliver a stable and reliable kernel for a car, that has a better track record with power consumption, uptime, or memory utilization?