Comment Comment by dreish In case you're not joking, MINIX is much smaller than 100KLOCs. parent dreish 9 years ago