The kernel is so large and successful despite C, not because of it. A large number of the common kernel bugs, such as refcounting errors, buffer overruns, mess

The kernel is so large and successful despite C, not because of it. A large number of the common kernel bugs, such as refcounting errors, buffer overruns, messy goto logic (resulting in use-after-frees sometimes) are because the kernel has had to build up poor abstractions due to their language not supporting better abstractions.