Index: /soft/giet_vm/sys/drivers.c
===================================================================
--- /soft/giet_vm/sys/drivers.c	(revision 225)
+++ /soft/giet_vm/sys/drivers.c	(revision 226)
@@ -232,10 +232,13 @@
 //      _tty_error()
 ////////////////////////////////////////////////////////////////////////////////
-void _tty_error( unsigned int task_id )
+void _tty_error( unsigned int tty_id, unsigned int task_id )
 {
     unsigned int proc_id = _procid();
 
     _get_lock(&_tty_put_lock);
-    _puts("\n[GIET ERROR] TTY index too large for task ");
+    if( tty_id == 0xFFFFFFFF )
+        _puts("\n[GIET ERROR] no TTY assigned to the task ");
+    else
+        _puts("\n[GIET ERROR] TTY index too large for task ");
     _putd( task_id );
     _puts(" on processor ");
@@ -263,5 +266,5 @@
     if ( tty_id >= NB_TTYS )
     {
-        _tty_error( task_id );
+        _tty_error( tty_id , task_id );
         return 0;
     }
@@ -299,5 +302,5 @@
     if ( tty_id >= NB_TTYS )
     {
-        _tty_error( task_id );
+        _tty_error( tty_id, task_id );
         return 0;
     }
Index: /soft/giet_vm/xml/xml_parser.c
===================================================================
--- /soft/giet_vm/xml/xml_parser.c	(revision 225)
+++ /soft/giet_vm/xml/xml_parser.c	(revision 226)
@@ -129,5 +129,5 @@
 unsigned int kernel_init_base    = 0x80090000;	/* system init entry */ 
 
-unsigned int boot_code_base      = 0xBFC00000;   /* boot code */
+unsigned int boot_code_base      = 0xBFC00000;  /* boot code */
 unsigned int boot_stack_base     = 0xBFC08000;	/* boot temporary stack */ 
 unsigned int boot_mapping_base   = 0xBFC0C000;	/* mapping_info blob */
@@ -1967,15 +1967,8 @@
 
     //open file
-    int fdout = open( file_path, (O_CREAT | O_RDWR), (S_IWUSR | S_IRUSR) );
+    int fdout = open( file_path, (O_CREAT | O_RDWR | O_TRUNC), (S_IWUSR | S_IRUSR) );
     if ( fdout < 0)
     {
         perror("open");
-        exit(1);
-    }
-
-    //reinitialise the file
-    if( ftruncate(fdout, 0) )
-    {
-        perror("truncate");
         exit(1);
     }