Hacker News Reader

The only time you didn't lie was when mentioning seL4.

You're Linus arguing against Tanenbaum. Even if you win, you still lose.

i'm sorry what? eli5?

This was a famous debate between Tanenbaum and Torvalds on the pros/cons of micro vs monolithic kernel OSes.