Changeset 410 for soft/giet_vm/giet_kernel

Timestamp:

Sep 29, 2014, 10:51:06 AM (10 years ago)

Author:

alain

Message:

Cosmetic

Location:

soft/giet_vm/giet_kernel

Files:

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

soft/giet_vm/giet_kernel/kernel_init.c

@@ -112 +112 @@
 
 ///////////////////////////////////////////////////////////////////////////////////
+// FAT internal representation for kernel code
+///////////////////////////////////////////////////////////////////////////////////
+
+__attribute__((section (".kdata"))) 
+fat32_fs_t fat __attribute__((aligned(512)));
+
+///////////////////////////////////////////////////////////////////////////////////
 // array of pointers on the page tables (virtual addresses)
 ///////////////////////////////////////////////////////////////////////////////////

soft/giet_vm/giet_kernel/sys_handler.c

@@ -235 +235 @@
         return ret;
     }
-    *vobj_vbase = res_vobj->vaddr;
+    *vobj_vbase = res_vobj->vbase;
     return 0;
 }