9 Dec 2025 13:14:52 > In fact I pointed out how big the Linux kernel is and how it is much > harder to audit than OpenBSD.
Right but my point is that if Linux cared dearly about security and it is too big to audit then atleast any parts of the kernel that were open to remote exploit would be checked meticulously upon any changes (like the WIFI scanning code). Perhaps it was and the integer overflow was missed but I suspect not. Otherwise they should use Ada SPARK for those parts.
