Index: /soft/giet_vm/giet_fat32/fat32.c
===================================================================
--- /soft/giet_vm/giet_fat32/fat32.c	(revision 633)
+++ /soft/giet_vm/giet_fat32/fat32.c	(revision 634)
@@ -3109,5 +3109,4 @@
 // It transfers "count" bytes from the File_Cache associated to the file
 // identified by "fd_id", to the user "buffer", from the current file offset.
-// It has the same semantic as the UNIX "read()" function.
 // In case of miss in the File_Cache, it loads all involved clusters into cache.
 /////////////////////////////////////////////////////////////////////////////////
@@ -3116,4 +3115,5 @@
 // Returns a negative value if error:
 //   -1 :  "fat not initialised"
+//   -2 :  "illegal file descriptor"
 //   -2 :  "file not open"
 //   -3 :  "cannot load file from device"
@@ -3134,5 +3134,5 @@
     {
         _printf("\n[FAT ERROR] in _fat_read() : illegal file descriptor\n");
-        return -1;
+        return -2;
     }
 
@@ -3141,5 +3141,5 @@
     {
         _printf("\n[FAT ERROR] in _fat_read() : file not open\n");
-        return -2;
+        return -3;
     }
 
@@ -3198,5 +3198,5 @@
             _printf("\n[FAT ERROR] in _fat_read() : cannot load file <%s>\n",
                     inode->name );
-            return -3;
+            return -4;
         }
         cbuf = pdesc->buffer;
@@ -3260,5 +3260,4 @@
 // It transfers "count" bytes to the fat_cache associated to the file
 // identified by "fd_id", from the user "buffer", using the current file offset.
-// It has the same semantic as the UNIX "write()" function.
 // It increases the file size and allocate new clusters if (count + offset) 
 // is larger than the current file size. Then it loads and updates all 
@@ -4130,5 +4129,4 @@
 //   -4  : "Not a directory"
 //   -5  : "Cannot access directory"
-//   -6  : "Name too long truncated"
 /////////////////////////////////////////////////////////////////////////////////
 int _fat_list( char*  pathname )