source: soft/tp18/correction/ldscript @ 63

/**********************************************************
        File : ldscript 
        Author : Alain Greiner
        Date : October 2009
**********************************************************/

/* definition of the base address for all segments 
The peripherals base addresses are referenced by the
software drivers and must be defined, even if the 
peripherals are not present in the architecture */

seg_reset_base  = 0xBFC00000;   /* le code de boot */
seg_kcode_base  = 0x80000000;   /* le code du système */
seg_kdata_base  = 0x81000000;   /* les donnees du système */
seg_kunc_base   = 0x82000000;   /* les données non cachées du système */
seg_code_base   = 0x00400000;   /* le code utilisateur */ 
seg_data_base   = 0x10000000;   /* les données utilisateur */
seg_stack_base  = 0x20000000;   /* la pile utilisateur */

seg_tty_base    = 0x90000000;   /* controleur TTY */
seg_timer_base  = 0x91000000;   /* controleur TIMER */
seg_ioc_base    = 0x92000000;   /* controleur I/O */
seg_dma_base    = 0x93000000;   /* controleur DMA */
seg_locks_base  = 0x94000000;   /* controleur LOCKS */
seg_gcd_base    = 0x95000000;   /* controleur GCD */
seg_fb_base     = 0x96000000;   /* controleur FRAME BUFFER */
seg_icu_base    = 0x9F000000;   /* controleur ICU */

/* 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_PROCS                = 1;
NB_TASKS                = 4;
NB_LOCKS                = 0;
NB_TIMERS               = 1;

/* Grouping sections into segments */

SECTIONS
{
   . = seg_kcode_base;
   seg_kcode : {
      *(.giet)
      *(.switch)
      *(.drivers)
      *(.isr)
   } 
   . = seg_kdata_base;
   seg_kdata : {
      *(.kdata)
   } 
   . = seg_kunc_base;
   seg_kunc : {
      *(.unckdata)
   } 
   . = seg_kdata_base;
   seg_kdata : {
      *(.ksave)
   } 
   . = seg_code_base;
   seg_code : {
      *(.text)
   } 
   . = seg_reset_base;
   seg_reset : {
      *(.reset)
   } 
   . = seg_data_base;
   seg_data : {
      *(.rodata)
      . = ALIGN(4);
      *(.rodata.*)
      . = ALIGN(4);
      *(.data)
      . = ALIGN(4);
      *(.sdata)
      . = ALIGN(4);
      *(.bss)
      *(COMMON)
      *(.sbss)
   } 
}