[kspetkov79]

The microkernel argument makes sense in theory, but the real bottleneck has always been driver complexity. If LLMs can reliably generate verified drivers with formal correctness guarantees, that changes the equation significantly. Until then, Linux's ecosystem inertia wins every time.

[snvzz]

Drivers need to be updated every now and again due to the lack of stable APIs, and increasingly nobody wants to deal with that.

The resulting trend is drivers for older/less common hardware are being dropped.

Linux complexity comes with a huge cost. At some point, the overhead is such that it'd be easier to start over.

I would argue we're long past that point. But inertia is a bitch, and insane money is being poured on Linux with little to show for it, just because.

Fortunately, seL4 foundation is picking up momentum, with large companies joining every year. There is some hope in the horizon.

[bigbadfeline]

> But inertia is a bitch, and insane money is being poured on Linux with little to show for it, just because.

Or maybe because just like C++ Linux has reached the point of no return, no amount of LLMs can save it, big money is the whole reason for its existence.

A replacement can come soon enough.

[cayleyh]

seL4 + linux kernel api shims does seem like the most realistic approach to move forward. But the driver + driver API situation seems like the biggest barrier.