[kjs3]

Minix is good, though something like xv6 is smaller these days. MIT uses it as their toy OS for undergrads.