Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 12fdd28585b2ba4f5b93eb59aac420a9be27d2de)
+++ generic/src/syscall/syscall.c	(revision c9d2235bfff48451acbb0bac7a1aec13b808f114)
@@ -47,4 +47,5 @@
 #include <syscall/copy.h>
 #include <sysinfo/sysinfo.h>
+#include <console/console.h>
 
 /** Print using kernel facility
@@ -77,4 +78,11 @@
 	
 	return count;
+}
+
+/** Tell kernel to get keyboard/console access again */
+static __native sys_debug_enable_console(void)
+{
+	arch_grab_console();
+	return 0;
 }
 
@@ -131,4 +139,7 @@
 	/* Sysinfo syscalls */
 	sys_sysinfo_valid,
-	sys_sysinfo_value
+	sys_sysinfo_value,
+	
+	/* Debug calls */
+	sys_debug_enable_console
 };