Update docs about the GDB server address

This commit is contained in:
fgh1999
2024-04-18 08:46:13 +00:00
committed by Tate, Hongliang Tian
parent a52e43218e
commit 0c60a2a667
3 changed files with 6 additions and 1 deletions

View File

@ -74,6 +74,10 @@ Start a GDB-enabled VM of Asterinas with OSDK and wait for debugging connection:
make gdb_server
```
The server will listen at the default address specified in `Makefile`, i.e., a local TCP port `:1234`.
Change the address in `Makefile` for your convenience,
and check `cargo osdk run -h` for more details about the address.
Two options are provided to interact with the debug server.
- A GDB client: start a GDB client in another terminal.