#  ifndef MAPPING_MEMORY_H
#  define MAPPING_MEMORY_H

#  define TEXT_BASE            0x00000000
#  define TEXT_SIZE            0x01000000

#  define DATA_CACHED_BASE     0x10000000
#  define DATA_CACHED_SIZE     0x05000000

#  define DATA_STACK_BASE      0x40000000
#  define DATA_STACK_SIZE      0x05000000

#  define DATA_UNCACHED_BASE   0x80000000
#  define DATA_UNCACHED_SIZE   0x01000000

#  define TTY_BASE             0xa0000000
//#define TTY_SIZE             nb_tty*4*4   
//                                          (word access)
//                                           word 0 : write tty
//                                           word 1 : stop
//                                           word 2 : print word
//                                           word 3 : unused

#  define RAMLOCK_BASE         0xb0000000
//#define RAMLOCK_SIZE         nb_ramlock   
//                                          (char access)

#  define SIM2OS_BASE          0xc0000000
#  define SIM2OS_SIZE          0x00001000 
//                                          (word access)
//                                           word 0 : number of service
//                                           word 1 : result
//                                           word 2 : error
//                                           word 3+: arguments

#endif
