Ask HN: Examples of Microkernels?

80 points | by agomez314 568 days ago