--- Gnu-Mach/xen/console.c	2020/09/02 04:52:15	1.1.1.3
+++ Gnu-Mach/xen/console.c	2020/09/02 04:54:20	1.1.1.4
@@ -116,8 +116,8 @@ static void hypcnintr(int unit, spl_t sp
 		mb();
 		console->in_cons++;
 #if	MACH_KDB
-		if (c == (char)'£') {
-			printf("£ pressed\n");
+		if (c == (char)0xA3) {
+			printf("pound pressed\n");
 			kdb_kintr();
 			continue;
 		}