src/utils/pintos
100755 → 100644
This diff is collapsed.
src/utils/pintos-gdb
100755 → 100644
This diff is collapsed.
src/utils/pintos-mkdisk
100755 → 100644
File mode changed from 100755 to 100644
src/vm/.gitkeep
0 → 100644