Index: /soft/giet_vm/giet_libs/stdio.c
===================================================================
--- /soft/giet_vm/giet_libs/stdio.c	(revision 330)
+++ /soft/giet_vm/giet_libs/stdio.c	(revision 331)
@@ -28,6 +28,6 @@
     va_start( args, format );
 
-    int          ret;     // return value from the syscalls 
-    unsigned int channel = 0xFFFFFFFF;
+    int          ret;                    // return value from the syscalls 
+    unsigned int channel = 0xFFFFFFFF;   // channel defined in task context
 
 printf_text: