3 ms·I've been waiting for a "true" microkernel OS since 1980s.by phoehne 4y agoI've been waiting for a "true" microkernel OS since 1980s.lproven 4y agoQNX and Minix 3 don't count?