Updates for new version of qemu
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 19:38:47 +0000 (11:38 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 19:38:47 +0000 (11:38 -0800)
commitfc991d628fcc37ecbd9536c211e59367f3826f1e
tree272df8356d4dd2a067c4b8d6c3281c91ca24c546
parenta5b36e99194eb47a4b0db6b01797af33256d6ae4
Updates for new version of qemu

Use new isa-debug-exit device for shutdown, switch name to
qemu-system-i386.
src/devices/shutdown.c
src/utils/pintos