6 ms·In case you're not joking, MINIX is much smaller than 100KLOCs.by dreish 10y agoIn case you're not joking, MINIX is much smaller than 100KLOCs.