mirror of
https://github.com/asterinas/asterinas.git
synced 2025-06-14 15:56:47 +00:00
Update the OSDK default GDB socket
This commit is contained in:
parent
ecae3475cc
commit
43e3f8cf6b
@ -17,7 +17,7 @@ needed instead of the normal break points (`break`/`b`) in GDB.
|
|||||||
## Options
|
## Options
|
||||||
|
|
||||||
`--remote <REMOTE>`:
|
`--remote <REMOTE>`:
|
||||||
Specify the address of the remote target [default: .aster-gdb-socket].
|
Specify the address of the remote target [default: .osdk-gdb-socket].
|
||||||
The address can be either a path for the UNIX domain socket
|
The address can be either a path for the UNIX domain socket
|
||||||
or a TCP port on an IP address.
|
or a TCP port on an IP address.
|
||||||
|
|
||||||
|
@ -13,7 +13,7 @@ used to directly generate a flame graph, or be stored for later analysis using
|
|||||||
`--remote <REMOTE>`:
|
`--remote <REMOTE>`:
|
||||||
|
|
||||||
Specify the address of the remote target.
|
Specify the address of the remote target.
|
||||||
By default this is `.aster-gdb-socket`
|
By default this is `.osdk-gdb-socket`
|
||||||
|
|
||||||
`--samples <SAMPLES>`:
|
`--samples <SAMPLES>`:
|
||||||
|
|
||||||
|
@ -24,7 +24,7 @@ Options related with debugging:
|
|||||||
Requires [CodeLLDB](https://marketplace.visualstudio.com/items?itemName=vadimcn.vscode-lldb).
|
Requires [CodeLLDB](https://marketplace.visualstudio.com/items?itemName=vadimcn.vscode-lldb).
|
||||||
- `--gdb-server-addr <ADDR>`: The network address on which the GDB server listens,
|
- `--gdb-server-addr <ADDR>`: The network address on which the GDB server listens,
|
||||||
it can be either a path for the UNIX domain socket or a TCP port on an IP address.
|
it can be either a path for the UNIX domain socket or a TCP port on an IP address.
|
||||||
[default: `.aster-gdb-socket`(a local UNIX socket)]
|
[default: `.osdk-gdb-socket`(a local UNIX socket)]
|
||||||
|
|
||||||
See [Debug Command](debug.md) to interact with the GDB server in terminal.
|
See [Debug Command](debug.md) to interact with the GDB server in terminal.
|
||||||
|
|
||||||
|
@ -202,7 +202,7 @@ pub struct GdbServerArgs {
|
|||||||
help = "The network address on which the GDB server listens, \
|
help = "The network address on which the GDB server listens, \
|
||||||
it can be either a path for the UNIX domain socket or a TCP port on an IP address.",
|
it can be either a path for the UNIX domain socket or a TCP port on an IP address.",
|
||||||
value_name = "ADDR",
|
value_name = "ADDR",
|
||||||
default_value = ".aster-gdb-socket",
|
default_value = ".osdk-gdb-socket",
|
||||||
requires = "enabled"
|
requires = "enabled"
|
||||||
)]
|
)]
|
||||||
pub host_addr: String,
|
pub host_addr: String,
|
||||||
@ -213,7 +213,7 @@ pub struct DebugArgs {
|
|||||||
#[arg(
|
#[arg(
|
||||||
long,
|
long,
|
||||||
help = "Specify the address of the remote target",
|
help = "Specify the address of the remote target",
|
||||||
default_value = ".aster-gdb-socket"
|
default_value = ".osdk-gdb-socket"
|
||||||
)]
|
)]
|
||||||
pub remote: String,
|
pub remote: String,
|
||||||
#[command(flatten)]
|
#[command(flatten)]
|
||||||
@ -225,7 +225,7 @@ pub struct ProfileArgs {
|
|||||||
#[arg(
|
#[arg(
|
||||||
long,
|
long,
|
||||||
help = "Specify the address of the remote target",
|
help = "Specify the address of the remote target",
|
||||||
default_value = ".aster-gdb-socket"
|
default_value = ".osdk-gdb-socket"
|
||||||
)]
|
)]
|
||||||
pub remote: String,
|
pub remote: String,
|
||||||
#[arg(long, help = "The number of samples to collect", default_value = "200")]
|
#[arg(long, help = "The number of samples to collect", default_value = "200")]
|
||||||
|
Loading…
x
Reference in New Issue
Block a user