From d6e8abe6240642714c54cc904bd18e20ee266b84 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Tue, 30 Aug 2016 09:19:56 +0200 Subject: [PATCH] add shorthand for -gdb tcp::1234, i.e. open a gdbserver on TCP port 1234. --- hermit/tools/proxy.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c index 32100576d..9b215a507 100644 --- a/hermit/tools/proxy.c +++ b/hermit/tools/proxy.c @@ -193,7 +193,7 @@ static void wait_qemu_available(void) exit(1); } - int wd = inotify_add_watch(fd, tmpname, IN_MODIFY|IN_CREATE); + int wd = inotify_add_watch(fd, "/tmp", IN_MODIFY|IN_CREATE); while(1) { int length = read(fd, buffer, BUF_LEN); @@ -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)