[disruptiveink]

What do you mean? They wrote the kernel driver. With great power comes great responsability.

If you're writing a kernel driver that is deployed throughout a great portion of Fortune 500, with the money that that entails, then you should definitely be able to afford to pay people to write defensive code and have proper pipelines in place.

[sandworm101]

And there is only the one kernel. No easy rollback option at boot, a previous version to at least get the system online.