X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Futils%2Fpintos;h=d7870351c0e966a9cf1263539aba2a9390bf55c2;hp=0b48be11ed64af5d79e15f55617b9385eaa96fef;hb=ef87ec47544e7a120d19211b6332d41b11403992;hpb=d92d837ee458bff7687e4208607e98c5b8e017c2

diff --git a/src/utils/pintos b/src/utils/pintos
index 0b48be1..d787035 100755
--- 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