X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=b803c949068eef8108bfd3dfbd02e32f30070be5;hb=ef0f93908b437a4a9df4f422fe2e4844514011db;hp=9de9f9a0c28be0560e1c63b056cd2aec93df302b;hpb=2a7028b32e0b34edc8d3d570af1d0d810bea36b4;p=pintos-anon diff --git a/src/utils/pintos b/src/utils/pintos index 9de9f9a..b803c94 100755 --- a/src/utils/pintos +++ b/src/utils/pintos @@ -108,7 +108,7 @@ where each OPTION is one of the following options and each ARGUMENT is passed to Pintos kernel verbatim. Simulator selection: --bochs (default) Use Bochs as simulator - --qemu Use qemu as simulator + --qemu Use QEMU as simulator --player Use VMware Player as simulator Debugger selection: --no-debug (default) No debugger @@ -318,7 +318,7 @@ sub get_scratch_file { # Copy file data. my ($get_handle); - sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT | O_EXCL, 0666) + sysopen ($get_handle, $get_file_name, O_WRONLY | O_CREAT, 0666) or die "$get_file_name: create: $!\n"; copy_file ($disk_handle, $disk_file_name, $get_handle, $get_file_name, $size); @@ -454,7 +454,7 @@ sub print_bochs_disk_line { } } -# Runs qemu. +# Runs QEMU. sub run_qemu { print "warning: qemu doesn't support --terminal\n" if $vga eq 'terminal'; @@ -707,7 +707,7 @@ sub run_command { # Relays common signals to the subprocess. # If $timeout is set then the subprocess will be killed after that long. sub xsystem { - # qemu turns off local echo and does not restore it if killed by a signal. + # QEMU turns off local echo and does not restore it if killed by a signal. # We compensate by restoring it ourselves. my $cleanup = sub {}; if (isatty (0)) {