Changeset 623 for trunk/softs/soft_transpose_giet/ldscript

Timestamp:

Jan 29, 2014, 9:33:16 AM (11 years ago)

Author:

alain

Message:

Introducing the soft_hello_giet application.

File:

• trunk/softs/soft_transpose_giet/ldscript (modified) (2 diffs)

trunk/softs/soft_transpose_giet/ldscript

@@ -2 +2 @@
         File : ldscript 
         Author : Alain Greiner
-        Date : March 2011  
+        Date : January 2014
 **********************************************************/
-
-/* definition of various hardware parameters.
-These variables are referenced in the drivers.c file,
-and must be defined, even if the corresponding
-peripherals are not present in the architecture */
-
-NB_CLUSTERS             = 4;            /* number of clusters */
-NB_PROCS                = 4;            /* number of processors per cluster */
-NB_TASKS                = 1;            /* number of tasks per processor */
-NB_TIMERS               = 1;            /* max number of timers per processor */
-NB_LOCKS                = 8;            /* number of spin_locks */
 
 /* definition of the base address for all segments 
@@ -21 +10 @@
 peripherals are not present in the architecture */
 
-seg_code_base   = 0x00000000;       /* le code utilisateur */ 
-seg_data_base   = 0x00100000;       /* les données utilisateur */
+seg_reset_base  = 0x10000000;       /* le code de boot */
 
-seg_heap_base   = 0x00300000;       /* le tas utilisateur */
-seg_stack_base  = 0x00800000;       /* la pile utilisateur */
+seg_kcode_base  = 0x00001000;       /* le code du système */
+seg_kdata_base  = 0x00010000;       /* les donnees du système */
+seg_kunc_base   = 0x00020000;       /* les données non cachées du système */
 
-seg_kcode_base  = 0x80000000;       /* le code du système */
-seg_kdata_base  = 0x80100000;       /* les donnees du système */
-seg_kunc_base   = 0x80200000;       /* les données non cachées du système */
+seg_code_base   = 0x00030000;       /* le code utilisateur */ 
+seg_data_base   = 0x00040000;       /* les données utilisateur */
 
-seg_icu_base    = 0x00F00000;       /* controleur ICU */
-seg_tty_base    = 0xBFF20000;       /* controleur TTY */
-seg_dma_base    = 0x00F30000;       /* controleur DMA */
+seg_heap_base   = 0x00100000;       /* le tas utilisateur */
+seg_stack_base  = 0x00400000;       /* la pile utilisateur */
 
-seg_reset_base  = 0xBFC00000;       /* le code de boot */
-seg_fb_base     = 0xBFD00000;       /* controleur FRAME BUFFER */
-seg_ioc_base    = 0xBFF10000;       /* controleur I/O */
+seg_xcu_base    = 0xF0000000;       /* controleur XCU */
+seg_dma_base    = 0xF1000000;       /* controleur DMA */
+seg_tty_base    = 0xF2000000;       /* controleur TTY */
+seg_fbf_base    = 0xF3000000;       /* controleur FBF */
+seg_ioc_base    = 0xF4000000;       /* controleur IOC */
 
-seg_timer_base  = 0x00F00000;       /* controleur TIMER */
-seg_gcd_base    = 0xBFF50000;       /* controleur GCD */
 
 /* Grouping sections into segments */