Ask HN: Are advances in AI going to push Linux to a micro-kernel?

Re:Ask HN: Are advances in AI going to push Linux to a micro... by snvzz on Tuesday May 19, 2026 @11:14PM (#48202687)

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.

[ Parent | on HN ]

Re:Ask HN: Are advances in AI going to push Linux to a micro... by bigbadfeline on Wednesday May 20, 2026 @02:09PM (#48211712)

> 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.

[ Parent | on HN ]

Re:Ask HN: Are advances in AI going to push Linux to a micro... by cayleyh on Thursday May 21, 2026 @04:33PM (#48228528)

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.

[ Parent | on HN ]