Pintos

Pintos, Stanford Üniversitesi'nden Ben Pfaff tarafından 2004 yılında geliştirilen eğitici bir işletim sistemidir. Pintos, esas olarak Kaliforniya Üniversitesi, Berkeley'de geliştirilen Nachos işletim sisteminin geliştirilmiş halidir. Pintos'un temel amacı lisans düzeyindekilere işletim sistemlerinin temel çalışma prensiplerinin öğretilmesidir.

Nachos'dan farklı olarak, Pintos x86 donanımlarında da çalışabilmektedir. Pintos, Nachos'un kullandığı C++ dilinden daha çok C kullanarak yazılmıştır. Pintos temel olarak aşağıdaki alanlarda programlama için kullanılabilir:

 İş parçacıkları (threads)
 Kullanıcı programları
 Sanal bellek
 Dosya sistemleri

Kaynakça 
 Pintos Projects  Stanford University

Eğitim yazılımları
İşletim sistemleri
X86 işletim sistemleri
X86 mimarisi