Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision b74959bd4f5b3c25215165e16f18a594cc56d741)
+++ kernel/generic/src/syscall/syscall.c	(revision d51db079aa01ad329ce298e255b1840cd48189bb)
@@ -52,10 +52,9 @@
 #include <sysinfo/sysinfo.h>
 #include <console/console.h>
-#include <console/klog.h>
 
 /** Print using kernel facility
  *
- * Some simulators can print only through kernel. Userspace can use
- * this syscall to facilitate it.
+ * Print to kernel log.
+ *
  */
 static unative_t sys_io(int fd, const void * buf, size_t count) 
@@ -101,6 +100,5 @@
 		rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
 	else {
-		klog_printf("TASK %llu: Unknown syscall id %llx", TASK->taskid,
-		    id);
+		printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
 		task_kill(TASK->taskid);
 		thread_exit();
@@ -121,5 +119,7 @@
 	(syshandler_t) sys_thread_exit,
 	(syshandler_t) sys_thread_get_id,
+	
 	(syshandler_t) sys_task_get_id,
+	(syshandler_t) sys_task_spawn,
 	
 	/* Synchronization related syscalls. */