+ --monitor Debug with simulator's monitor (Bochs or qemu only)
+ --gdb Debug with gdb (Bochs or qemu only)
+Race detector (Bochs only; may be combined with debugger):
+ --no-checkbochs (default) Do not use race detector
+ --checkbochs Use race detector
+ --logfile=FILE Set checkbochs log file (default: checkbochs.log)