process.c length
Merge branch 'project2' of https://github.com/jiazhihao/pintos into project2
Merge branch 'project2' of https://github.com/jiazhihao/pintos into project2
sb mistake
final check for the designdoc