In the car analogy, the car crashing is the equivalent of the programmer introducing a bug. The adversary is out of the picture here - you want to write your k

In the car analogy, the car crashing is the equivalent of the programmer introducing a bug. The adversary is out of the picture here - you want to write your kernel in a way that makes accidental bugs hard/harmless. (i.e. prevent “random crashes”)