Pin2000 OS (Score 1)

Last I heard (from a *very* reliable source) Pin2000 was running on a Xinu kernel with all of the unnecessary stuff ripped out. Supposedly Linux was considered but they found that Xinu could do the limited job just as well.