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)
commit47747baf50a7db012348a4954b97fc161bcacd19
treeb7395a01219c1a125496df2cc1760e2fb60f2624
parentbb0485f5561709b2d9a97fdeda9bfa1bd55a20c9
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