Pintos

MaRDI QIDQ53615swMATHFDO

Official website https://web.stanford.edu/class/cs140/projects/pintos/pintos_1.html

Source code repository https://github.com/codyjack/Pintos

Cited in

(2)

• Priority inheritance protocol proved correct
• Xv6

This page was built for software: Pintos