# HG changeset patch
# User Michael Pavone <pavone@retrodev.com>
# Date 1703397867 28800
# Node ID 8445e814d49540ef9ffd71a922042262c003252b
# Parent  39a009aea11315dcd51446202cc918e54b0eff69
Implement gdb remote kill command

diff -r 39a009aea113 -r 8445e814d495 gdb_remote.c
--- a/gdb_remote.c	Sat Dec 23 21:54:33 2023 -0800
+++ b/gdb_remote.c	Sat Dec 23 22:04:27 2023 -0800
@@ -307,6 +307,8 @@
 		gdb_send_command(send_buf);
 		break;
 	}
+	case 'k':
+		exit(0);
 	case 'm': {
 		char * rest;
 		uint32_t address = strtoul(command+1, &rest, 16);
@@ -469,6 +471,8 @@
 			default:
 				goto not_impl;
 			}
+		} else if (!memcmp("Kill;", command+1, strlen("Kill;"))) {
+			exit(0);
 		} else {
 			goto not_impl;
 		}