Comment by j7f3

Has it ever been a consensus best? Today xv6 is likely the most popular choice and before xv6 there was nachos and its more recent offshoots.