Commit a0257014 authored by Federico Vaga's avatar Federico Vaga

doc: less text

Signed-off-by: Federico Vaga's avatarFederico Vaga <federico.vaga@cern.ch>
parent 088f329d
.. highlight:: none
.. _`tools:mockturtle-debug`:
====================
......@@ -32,35 +34,25 @@ The options for the agent are:
The debug agent will create a TCP socket and listen on it on port 3000 for
a connection from gdb. It displays this message before listening:
.. code-block:: none
a connection from gdb. It displays this message before listening:::
Waiting for connection on port 3000
At that point you can start the cross debugger on the host where you have compiled your program. Don't forget to enable the generation of debug information:
.. code-block:: none
At that point you can start the cross debugger on the host where you have compiled your program. Don't forget to enable the generation of debug information:::
riscv32-elf-gdb ./myprog.elf
Then you have to connect to the debug agent (replace `address` by the name of
the target machine which runs the debug agent):
.. code-block:: none
the target machine which runs the debug agent):::
(gdb) target remote address:3000
It is possible to load the program directly, and you should load
before restarting a program to be sure about the state of it:
.. code-block:: none
before restarting a program to be sure about the state of it:::
(gdb) load
The execution is started with the `continue` command:
.. code-block:: none
The execution is started with the `continue` command:::
(gdb) c
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment