Ask HN: Microkernel vs Monolithic Kernel in a Mobile Context? | Hacker News Reader