From 64b3ab59b0447e1dc2ec381a96de94a07ca1ee98 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Sun, 8 Oct 2023 19:07:56 +0200
Subject: [PATCH] gdb_interactive.run: pass Ctrl-C to GDB on hardware

Issue #5019
---
 repos/ports/run/gdb_interactive.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/gdb_interactive.run b/repos/ports/run/gdb_interactive.run
index ab1366a96b..99f5e32509 100644
--- a/repos/ports/run/gdb_interactive.run
+++ b/repos/ports/run/gdb_interactive.run
@@ -1,6 +1,6 @@
 source ${genode_dir}/repos/ports/run/gdb.inc
 
-# run socat for interaction with GDB
-exec [terminal] -e "socat - TCP:$host:$port" &
+# run socat for interaction with GDB (quit socat with 'Ctrl-]')
+exec [terminal] -e "socat -,raw,echo=0,opost=1,escape=29 TCP:$host:$port" &
 
 interact -i $genode_id