pintos_modified/
pintos_modified/AUTHORS
pintos_modified/LICENSE
pintos_modified/Makefile
pintos_modified/doc/
pintos_modified/doc/44bsd.texi
pintos_modified/doc/Makefile
pintos_modified/doc/bibliography.texi
pintos_modified/doc/debug.texi
pintos_modified/doc/devel.texi
pintos_modified/doc/doc.texi
pintos_modified/doc/filesys.texi
pintos_modified/doc/filesys.tmpl
pintos_modified/doc/installation.texi
pintos_modified/doc/intro.texi
pintos_modified/doc/license.texi
pintos_modified/doc/localcvsinstructions.texi
pintos_modified/doc/localsettings.texi
pintos_modified/doc/pintos-t2h.init
pintos_modified/doc/pintos.css
pintos_modified/doc/pintos.texi
pintos_modified/doc/reference.texi
pintos_modified/doc/sample.tmpl
pintos_modified/doc/standards.texi
pintos_modified/doc/texi2html
pintos_modified/doc/texinfo.tex
pintos_modified/doc/threads.texi
pintos_modified/doc/threads.tmpl
pintos_modified/doc/userprog.texi
pintos_modified/doc/userprog.tmpl
pintos_modified/doc/vm.texi
pintos_modified/doc/vm.tmpl
pintos_modified/src/
pintos_modified/src/LICENSE
pintos_modified/src/Make.config
pintos_modified/src/Makefile
pintos_modified/src/Makefile.build
pintos_modified/src/Makefile.kernel
pintos_modified/src/Makefile.userprog
pintos_modified/src/devices/
pintos_modified/src/devices/block.c
pintos_modified/src/devices/block.h
pintos_modified/src/devices/ide.c
pintos_modified/src/devices/ide.h
pintos_modified/src/devices/input.c
pintos_modified/src/devices/input.h
pintos_modified/src/devices/intq.c
pintos_modified/src/devices/intq.h
pintos_modified/src/devices/kbd.c
pintos_modified/src/devices/kbd.h
pintos_modified/src/devices/partition.c
pintos_modified/src/devices/partition.h
pintos_modified/src/devices/pci.c
pintos_modified/src/devices/pci.h
pintos_modified/src/devices/pci_lookup.h
pintos_modified/src/devices/pit.c
pintos_modified/src/devices/pit.h
pintos_modified/src/devices/rtc.c
pintos_modified/src/devices/rtc.h
pintos_modified/src/devices/serial.c
pintos_modified/src/devices/serial.h
pintos_modified/src/devices/shutdown.c
pintos_modified/src/devices/shutdown.h
pintos_modified/src/devices/speaker.c
pintos_modified/src/devices/speaker.h
pintos_modified/src/devices/timer.c
pintos_modified/src/devices/timer.c~
pintos_modified/src/devices/timer.h
pintos_modified/src/devices/usb.c
pintos_modified/src/devices/usb.h
pintos_modified/src/devices/usb_ehci.c
pintos_modified/src/devices/usb_hub.c
pintos_modified/src/devices/usb_hub.h
pintos_modified/src/devices/usb_storage.c
pintos_modified/src/devices/usb_uhci.c
pintos_modified/src/devices/vga.c
pintos_modified/src/devices/vga.h
pintos_modified/src/examples/
pintos_modified/src/examples/Makefile
pintos_modified/src/examples/bubsort.c
pintos_modified/src/examples/cat.c
pintos_modified/src/examples/cmp.c
pintos_modified/src/examples/cp.c
pintos_modified/src/examples/echo.c
pintos_modified/src/examples/halt.c
pintos_modified/src/examples/hex-dump.c
pintos_modified/src/examples/insult.c
pintos_modified/src/examples/lib/
pintos_modified/src/examples/lib/user/
pintos_modified/src/examples/lib/user/.dummy
pintos_modified/src/examples/lineup.c
pintos_modified/src/examples/ls.c
pintos_modified/src/examples/matmult.c
pintos_modified/src/examples/mcat.c
pintos_modified/src/examples/mcp.c
pintos_modified/src/examples/mkdir.c
pintos_modified/src/examples/pwd.c
pintos_modified/src/examples/recursor.c
pintos_modified/src/examples/rm.c
pintos_modified/src/examples/shell.c
pintos_modified/src/filesys/
pintos_modified/src/filesys/Make.vars
pintos_modified/src/filesys/Makefile
pintos_modified/src/filesys/directory.c
pintos_modified/src/filesys/directory.h
pintos_modified/src/filesys/file.c
pintos_modified/src/filesys/file.h
pintos_modified/src/filesys/filesys.c
pintos_modified/src/filesys/filesys.h
pintos_modified/src/filesys/free-map.c
pintos_modified/src/filesys/free-map.h
pintos_modified/src/filesys/fsutil.c
pintos_modified/src/filesys/fsutil.h
pintos_modified/src/filesys/inode.c
pintos_modified/src/filesys/inode.h
pintos_modified/src/filesys/off_t.h
pintos_modified/src/lib/
pintos_modified/src/lib/arithmetic.c
pintos_modified/src/lib/ctype.h
pintos_modified/src/lib/debug.c
pintos_modified/src/lib/debug.h
pintos_modified/src/lib/endian.h
pintos_modified/src/lib/inttypes.h
pintos_modified/src/lib/kernel/
pintos_modified/src/lib/kernel/bitmap.c
pintos_modified/src/lib/kernel/bitmap.h
pintos_modified/src/lib/kernel/console.c
pintos_modified/src/lib/kernel/console.h
pintos_modified/src/lib/kernel/debug.c
pintos_modified/src/lib/kernel/hash.c
pintos_modified/src/lib/kernel/hash.h
pintos_modified/src/lib/kernel/list.c
pintos_modified/src/lib/kernel/list.h
pintos_modified/src/lib/kernel/stdio.h
pintos_modified/src/lib/limits.h
pintos_modified/src/lib/packed.h
pintos_modified/src/lib/random.c
pintos_modified/src/lib/random.h
pintos_modified/src/lib/round.h
pintos_modified/src/lib/stdarg.h
pintos_modified/src/lib/stdbool.h
pintos_modified/src/lib/stddef.h
pintos_modified/src/lib/stdint.h
pintos_modified/src/lib/stdio.c
pintos_modified/src/lib/stdio.h
pintos_modified/src/lib/stdlib.c
pintos_modified/src/lib/stdlib.h
pintos_modi