Pintos project on team IBAL
os project based on pintos manual by Ben Pfaff
Project development order
1 - user programs (chap.3 in manual)
2 - file systems (chap.5 in manual)
3 - threads (chap.2 in manual)
pintos code can be tested on this directory :
/pintos/src
options and parameter can be given but has to be divided in such format :
pintos --filesys-size=2 -p ../../examples/echo -a echo -- -f -q run 'echo x'
detailed subscription of data structure and code implementation can be found in readme in this directory :
/README
overall check on pintos can be done by this command :
make check
(should be performed on such directory, ex. user program can be checked by 'make check' on '/pintos/src/userprog')
Some of the functions in make check might not work since evaluation was done in different manner.