From 88099df0082ba5ad94fabd8edd9ebfe4b41219a1 Mon Sep 17 00:00:00 2001 From: fgh1999 Date: Wed, 20 Mar 2024 21:52:55 +0000 Subject: [PATCH] Add GDB targets in Makefile --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Makefile b/Makefile index 588cdff4e..1f5a617f8 100644 --- a/Makefile +++ b/Makefile @@ -132,6 +132,14 @@ tools: run: build @cargo osdk run $(CARGO_OSDK_ARGS) +.PHONY: gdb_server +gdb_server: build + @cd kernel && cargo osdk run $(CARGO_OSDK_ARGS) -G --vsc --gdb-server-addr :1234 + +.PHONY: gdb_client +gdb_client: $(CARGO_OSDK) + @cd kernel && cargo osdk debug $(CARGO_OSDK_ARGS) --remote :1234 + .PHONY: test test: @for dir in $(NON_OSDK_CRATES); do \