From 4f06810031f462eb8fef5aa9e2c9cf71b916c584 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Tue, 30 Aug 2016 09:18:38 +0200 Subject: [PATCH] add shorthand for -gdb tcp::1234, i.e. open a gdbserver on TCP port 1234. --- hermit/tools/proxy.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c index c87a803ee..9b215a507 100644 --- a/hermit/tools/proxy.c +++ b/hermit/tools/proxy.c @@ -221,7 +221,7 @@ static int init_qemu(char *path) char monitor_str[MAX_PATH]; char chardev_file[MAX_PATH]; char* qemu_str = "qemu-system-x86_64"; - char* qemu_argv[] = {qemu_str, "-nographic", "-smp", "1", "-m", "2G", "-net", "nic,model=rtl8139", "-net", hostfwd, "-chardev", chardev_file, "-device", "pci-serial,chardev=gnc0", "-monitor", monitor_str, "-kernel", loader_path, "-initrd", path, NULL, NULL, NULL, NULL, NULL, NULL, NULL}; + char* qemu_argv[] = {qemu_str, "-s", "-nographic", "-smp", "1", "-m", "2G", "-net", "nic,model=rtl8139", "-net", hostfwd, "-chardev", chardev_file, "-device", "pci-serial,chardev=gnc0", "-monitor", monitor_str, "-kernel", loader_path, "-initrd", path, NULL, NULL, NULL, NULL, NULL, NULL, NULL}; str = getenv("HERMIT_CPUS"); if (str)