removed 'address' option for Bochs.

[pintos-anon] / src / utils / pintos

diff --git a/src/utils/pintos b/src/utils/pintos
index 0b48be11ed64af5d79e15f55617b9385eaa96fef..d7870351c0e966a9cf1263539aba2a9390bf55c2 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -472,7 +472,7 @@ sub run_bochs {
     # Write bochsrc.txt configuration file.
     open (BOCHSRC, ">", "bochsrc.txt") or die "bochsrc.txt: create: $!\n";
     print BOCHSRC <<EOF;
-romimage: file=\$BXSHARE/BIOS-bochs-latest, address=0xf0000
+romimage: file=\$BXSHARE/BIOS-bochs-latest
 vgaromimage: file=\$BXSHARE/VGABIOS-lgpl-latest
 boot: disk
 cpu: ips=1000000