> a microkernel design would be better.
why re-hash a 30 year old debate? [0]
0: https://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_deb...