cargo osdk run

Overview

cargo osdk run is used to run the kernel with QEMU. The usage is as follows:

cargo osdk run [OPTIONS]

Options

Most options are the same as those of cargo osdk build. Refer to the documentation of cargo osdk build for more details.

Options related with debugging:

• -G, --enable-gdb: Enable QEMU GDB server for debugging.
• --vsc: Generate a '.vscode/launch.json' for debugging kernel with Visual Studio Code (only works when QEMU GDB server is enabled, i.e., --enable-gdb). Requires CodeLLDB.
• --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. [default: .aster-gdb-socket(a local UNIX socket)]

See Debug Command to interact with the GDB server in terminal.

Examples

• Launch a debug server via QEMU with an unix socket stub, e.g. .debug:

cargo osdk run --enable-gdb --gdb-server-addr .debug

• Launch a debug server via QEMU with a TCP stub, e.g., localhost:1234:

cargo osdk run --enable-gdb --gdb-server-addr :1234

• Launch a debug server via QEMU and use VSCode to interact:

cargo osdk run --enable-gdb --vsc --gdb-server-addr :1234