Maybe we should revisit microkernels (by bobpoekert) — discussion

#osdev