Changeset 592

Timestamp:

Jul 8, 2015, 4:04:13 PM (9 years ago)

Author:

alain

Message:

Introduce support for the new POSIX-like FAT32.

Location:

soft/giet_vm/giet_kernel

Files:

• kernel_init.c (modified) (2 diffs)
• sys_handler.c (modified) (1 diff)

soft/giet_vm/giet_kernel/kernel_init.c

@@ -93 +93 @@
 ////////////////////////////////////////////////////////////////////////////////
 
-// FAT internal representation for kernel code
-__attribute__((section(".kdata")))
-fat32_fs_t     _fat      __attribute__((aligned(512)));
-
 // array of page tables virtual addresses
 __attribute__((section(".kdata")))
@@ -338 +334 @@
     if ( gpid == 0 )
     {
-         _fat_init( 0 );   // no IRQ
+        _fat_init( 1 );   // kernel mode => Inode-Tree, Fat-Cache and File-Caches
 
 #if GIET_DEBUG_INIT

soft/giet_vm/giet_kernel/sys_handler.c

@@ -164 +164 @@
     &_sys_ukn,                       /* 0x1F */
 
-    &_fat_user_open,                 /* 0x20 */
-    &_fat_user_read,                 /* 0x21 */
-    &_fat_user_write,                /* 0x22 */
-    &_fat_user_lseek,                /* 0x23 */
-    &_fat_fstat,                     /* 0x24 */
+    &_fat_open,                      /* 0x20 */
+    &_fat_read,                      /* 0x21 */
+    &_fat_write,                     /* 0x22 */
+    &_fat_lseek,                     /* 0x23 */
+    &_fat_file_info,                 /* 0x24 */
     &_fat_close,                     /* 0x25 */
-    &_sys_ukn,                       /* 0x26 */
-    &_sys_ukn,                       /* 0x27 */
-    &_sys_ukn,                       /* 0x28 */
-    &_sys_ukn,                       /* 0x29 */
+    &_fat_remove,                    /* 0x26 */
+    &_fat_rename,                    /* 0x27 */
+    &_fat_mkdir,                     /* 0x28 */
+    &_fat_list,                      /* 0x29 */
     &_sys_ukn,                       /* 0x2A */
     &_sys_ukn,                       /* 0x2B */