Comment on Ironclad - an OS kernel in Ada
u_tamtam@programming.dev 10 months agoBecause the “car software” that comes to people’s mind is most likely to be the infotainment system, which generally sucks, while the hard/safety critical stuff is invisible to them (and admittedly done by 3rd parties like Bosch)