Hacker News

points by snvzz 3 days ago | 0 comments

And so many more are hidden in there, in those MLoCs.

The only way forward is a better system architecture, as enabled by the seL4[0] microkernel.

Any solution involving keeping Linux or the monolithic kernel is just stopgap or outright delusional.

I look forward to someone spending a few million to hunt for bugs in seL4.