Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision 8add9ca54eed14da25f4bda28ab137bf14388de8)
+++ contrib/arch/kernel/kernel.adl	(revision ca05e9b4adeb153722312de6de1588a0dade8ed4)
@@ -3,9 +3,9 @@
  *****************************/
 
-interface sys_klog {
+interface sys_kio {
 		/* Print using kernel facility */
-		sysarg_t sys_klog(int fd, const void *buf, size_t size);
-	protocol:
-		?sys_klog*
+		sysarg_t sys_kio(int fd, const void *buf, size_t size);
+	protocol:
+		?sys_kio*
 };
 
@@ -251,5 +251,5 @@
 frame sys_console {
 	provides:
-		sys_klog sys_klog;
+		sys_kio sys_kio;
 		sys_console sys_console;
 };
@@ -316,5 +316,5 @@
 	inst sys_debug sys_debug;
 	
-	delegate sys_klog to sys_console:sys_klog;
+	delegate sys_kio to sys_console:sys_kio;
 	delegate sys_console to sys_console:sys_console;
 	delegate sys_tls to sys_proc:sys_tls;