Changeset 160 for soft/giet_vm/sys/sys.ld

Timestamp:

Jun 12, 2012, 4:21:27 PM (12 years ago)

Author:

karaoui

Message:

giet-vm new version

File:

• soft/giet_vm/sys/sys.ld (modified) (5 diffs)

soft/giet_vm/sys/sys.ld

@@ -2 +2 @@
 * Definition of the base address for all virtual segments
 *****************************************************************************/
-
-/* The vsegs used in the boot phase must respect identity mapping:
-   physical address = virtual address */
-
-seg_boot_code_base      = 0xBFC00000;   /* boot code */
-seg_boot_stack_base     = 0xBFC08000;   /* boot temporary stack */ 
-seg_boot_mapping_base   = 0xBFC0C000;   /* boot mapping_info */
 
 /* The vsegs used by the system are replicated in all virtual spaces 
@@ -16 +9 @@
 seg_kernel_data_base    = 0x80010000;   /* system cacheable data */
 seg_kernel_uncdata_base = 0x80020000;   /* system uncacheable data */
-seg_kernel_pt_base      = 0x80030000;   /* system page table */ 
+seg_kernel_init_base    = 0x80030000;   /* system page table */ 
 
-/* The peripherals base addresses are referenced by the software drivers and
+
+/* The peripherals base addresses are referenced by the software drivers and    \
    must be defined, even if the peripherals are not used in the architecture */
 
@@ -29 +23 @@
 seg_icu_base            = 0x9F000000;   /* ICU device */
 
+/*****************************************/
+seg_mapping_base        = 0xBFC0C000;   /* boot mapping_info */
+
 /*
  * Grouping sections into segments for system code and data
@@ -35 +32 @@
 SECTIONS
 {
-    . = seg_boot_code_base;
-    seg_boot_code : 
-    {
-        *(.boot)
-    }
     . = seg_kernel_code_base;
     seg_kernel_code : 
@@ -69 +61 @@
         *(.unckdata)
     }
-    . = seg_kernel_pt_base;
-    seg_kernel_pt : 
+
+    . = seg_kernel_init_base;
+    seg_kernel_init : 
     {
-        *(.ptab)
+        *(.kinitentry)
+        *(.kinit)
     }
 }