diff options
Diffstat (limited to 'docs/user/main.rst')
| -rw-r--r-- | docs/user/main.rst | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/user/main.rst b/docs/user/main.rst index 6f2ffa0..f9ac701 100644 --- a/docs/user/main.rst +++ b/docs/user/main.rst @@ -93,8 +93,13 @@ Debug options: ``-g port`` Wait gdb connection to port +``-one-insn-per-tb`` + Run the emulation with one guest instruction per translation block. + This slows down emulation a lot, but can be useful in some situations, + such as when trying to analyse the logs produced by the ``-d`` option. + ``-singlestep`` - Run the emulation in single step mode. + This is a deprecated synonym for the ``-one-insn-per-tb`` option. Environment variables: |