elrodrigues / pintos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from fghanei/pintos
This is a cloned version of the pintos project from Pintos public repository by Ben Pfaff
Home Page: http://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=summary
License: Other