There's, in practice, unlimited such bugs in the megabytes of kernel object code. Monolithic UNIX-like kernels are a bankrupt design. Only third generation mi

There's, in practice, unlimited such bugs in the megabytes of kernel object code. Monolithic UNIX-like kernels are a bankrupt design. Only third generation microkernels like seL4[0] make sense in the present world. All effort put elsewhere is wasted outright. 0. https://sel4.systems/ https://sel4.systems/