- pintos -v 关闭VGA输出
- pintos -t 将终端当作VGA输出而不是新建一个窗口（仅Bochs)
- pintos -s 抑制从标准输入到标准输出的串行输入
- pintos -h 展示一个命令选项的列表
- '--' 将命令选项与参数分离，e.g.
pintos option... -- argument.. - ‘j -seed' 选项将时间间断变得随机（同一个seed的时间间断是一样的，这使其依然具有reproducible的性质
- pintos -v 将Bochs的时间设置为与真实时间一样（比如Bochs中的一秒几乎等同于现实世界的一秒）。ps： 真实时间模式下将不具有reproducible的性质，这使得-r -j 这两个选项是互斥的。 -- pintos -gdb 以GDB模式运行
