Script started on Sun 05 Mar 2006 12:19:53 PM EST gback@nectarine [1](~/pintos/pintos-solution2/src/filesys/build) > pintos --fs-disk=2 --swap-disk=4 -v --gdb -p tests/userprog/args-none -a args-none -- -f -q run args-none Copying tests/userprog/args-none into /tmp/Ol0QMvme0N.dsk... Writing command line to /tmp/9gwksyasZB.dsk... bochs -q ======================================================================== Bochs x86 Emulator 2.2.5 Build from CVS snapshot on December 30, 2005 ======================================================================== 00000000000i[ ] reading configuration from bochsrc.txt 00000000000i[ ] Enabled gdbstub 00000000000i[ ] installing nogui module as the Bochs GUI 00000000000i[ ] using log file bochsout.txt Waiting for gdb connection on localhost:1234 Pintos booting with 4,096 kB RAM... Kernel command line: -f -q put args-none run args-none 366 pages available in kernel pool. 365 pages available in user pool. Calibrating timer... 102,400 loops/s. hd0:0: detected 1,008 sector (504 kB) disk, model "Generic 1234", serial "BXHD00011" hd0:1: detected 4,032 sector (1 MB) disk, model "Generic 1234", serial "BXHD00012" hd1:0: detected 1,008 sector (504 kB) disk, model "Generic 1234", serial "BXHD00021" hd1:1: detected 8,064 sector (3 MB) disk, model "Generic 1234", serial "BXHD00022" Initialized buffer cache for 64 sectors Formatting filesystem...done. user pages 365 using swap space for 1008 pages Boot complete. Putting 'args-none' into the file system... ======================================================================== Bochs is exiting with the following message: [ ] Debugger asked us to quit ======================================================================== gback@nectarine [2](~/pintos/pintos-solution2/src/filesys/build) > ^D Script done on Sun 05 Mar 2006 12:21:53 PM EST