• Pintos -v Disables the VGA output
  • Pintos-t treats the terminal as VGA output instead of creating a new window (Bochs only)
  • Pintos-s suppresses serial input from standard input to standard output
  • Pintos -h displays a list of command options
  • ‘–‘ separates command options from parameters, LLDB.pintos option... -- argument..
  • The ‘J-seed’ option makes time gaps random (Time gaps are the same for the same seed making it still reproducible
  • Pintos-v sets the Bochs time to be the same as real time (for example, a second in Bochs is almost the same as a second in the real world). Ps: Reproducible properties will not be available in real time mode making the -r-j options mutually exclusive.

— Pintos-gdb runs in GDB mode