Merge branch 'debugging-kernel-podman' into 'master'

Add kernel debugger GUI via podman

See merge request redox-os/redox!1622

mk/podman.mk

@@ -70,3 +70,17 @@ ifeq ($(PODMAN_BUILD),1)
 else
 	@echo PODMAN_BUILD=$(PODMAN_BUILD), container not required.
 endif
+
+KERNEL_PATH := cookbook/recipes/core/kernel
+KERNEL_PATH_SOURCE := $(ROOT)/$(KERNEL_PATH)/source
+KERNEL_PATH_TARGET := $(ROOT)/$(KERNEL_PATH)/target/$(TARGET)
+
+kernel_debugger:
+	@echo "Building and running gdbgui container..."
+	podman build -t redox-kernel-debug - < $(ROOT)/podman/redox-gdb-containerfile
+	podman run --rm -p 5000:5000 -it --name redox-gdb \
+		-v "$(KERNEL_PATH_TARGET)/build/kernel.sym:/kernel.sym" \
+		-v "$(KERNEL_PATH_SOURCE)/src:/src" \
+		redox-kernel-debug --gdb-cmd "gdb -ex 'set confirm off' \
+			-ex 'add-symbol-file /kernel.sym' \
+			-ex 'target remote host.containers.internal:1234'"

podman/redox-gdb-containerfile

@@ -0,0 +1,15 @@
+FROM debian:stable-backports
+
+RUN apt-get update \
+    && apt-get install -y --no-install-recommends -t stable-backports \
+        python3 \
+        python3-pip \
+        gdb \
+        curl \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN pip3 install gdbgui --break-system-packages
+
+EXPOSE 5000
+
+ENTRYPOINT [ "gdbgui", "--remote", "--port", "5000" ]