Comment Pin2000 OS (Score 1) 41
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.
