Don't read anything from the disk for a segment with p_filesz == 0.
[pintos-anon] / solutions / README
1 Sample solutions. 
2
3 These solutions are well written and pass all the corresponding tests.
4 You can run them automatically with `make check' in tests/.