source: soft/giet_vm/mappings/1c_1p_40.xml @ 251

Last change on this file since 251 was 248, checked in by cfuguet, 11 years ago

Adding two new mapping info files for the tsar_generic_xbar platform:

  • 1 cluster, 1 processor
  • 1 cluster, 4 processors

The two using 40 bits physical addresses
  • Property svn:mime-type set to application/xml
File size: 10.0 KB
Line 
1<?xml version="1.0"?>
2
3<mapping_info signature    = "0xdeadbeef" 
4              name         = "1c_1p_40" 
5              cluster_x    = "1" 
6              cluster_y    = "1" 
7              vspaces      = "1">
8
9*** This first section describes an instance of the "tsar_generic_xbar" architecture
10*** with 1 clusters, 1 processor per cluster and 40 bits physical address.
11
12    <clusterset>
13
14        <cluster index = "0" >
15            <pseg name = "PSEG_RAM"  type = "RAM"  base = "0x0000000000" length = "0x0010000000" />
16
17*** Boot ROM and peripherals
18
19            <pseg name = "PSEG_XICU" type = "PERI" base = "0x00B0000000" length = "0x0000002000" />
20            <pseg name = "PSEG_DMA"  type = "PERI" base = "0x00B1000000" length = "0x0000008000" />
21            <pseg name = "PSEG_FBF"  type = "PERI" base = "0x00B2000000" length = "0x0000004000" /> 
22            <pseg name = "PSEG_IOC"  type = "PERI" base = "0x00B3000000" length = "0x0000001000" /> 
23            <pseg name = "PSEG_TTY"  type = "PERI" base = "0x00B4000000" length = "0x0000001000" /> 
24            <pseg name = "PSEG_NIC"  type = "PERI" base = "0x00B5000000" length = "0x0000021000" />
25            <pseg name = "PSEG_CMA"  type = "PERI" base = "0x00B6000000" length = "0x0000004000" />
26            <pseg name = "PSEG_IOB"  type = "PERI" base = "0x00BE000000" length = "0x0000100000" />
27            <pseg name = "PSEG_ROM"  type = "ROM"  base = "0x00BFC00000" length = "0x0000100000" />
28
29            <proc index  = "0" >
30                <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" /> 
31                <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" /> 
32                <irq type = "HARD" icuid = "16" isr = "ISR_TTY" channel = "0" /> 
33                <irq type = "HARD" icuid = "17" isr = "ISR_TTY" channel = "1" /> 
34                <irq type = "HARD" icuid = "18" isr = "ISR_TTY" channel = "2" /> 
35                <irq type = "HARD" icuid = "19" isr = "ISR_TTY" channel = "3" /> 
36                <irq type = "HARD" icuid = "20" isr = "ISR_TTY" channel = "4" /> 
37                <irq type = "HARD" icuid = "21" isr = "ISR_TTY" channel = "5" /> 
38                <irq type = "HARD" icuid = "22" isr = "ISR_TTY" channel = "6" /> 
39                <irq type = "HARD" icuid = "23" isr = "ISR_TTY" channel = "7" /> 
40                <irq type = "HARD" icuid = "24" isr = "ISR_TTY" channel = "8" /> 
41                <irq type = "HARD" icuid = "25" isr = "ISR_TTY" channel = "9" />
42                <irq type = "HARD" icuid = "26" isr = "ISR_TTY" channel = "10" /> 
43                <irq type = "HARD" icuid = "27" isr = "ISR_TTY" channel = "11" /> 
44                <irq type = "HARD" icuid = "28" isr = "ISR_TTY" channel = "12" /> 
45                <irq type = "HARD" icuid = "29" isr = "ISR_TTY" channel = "13" /> 
46                <irq type = "HARD" icuid = "30" isr = "ISR_TTY" channel = "14" /> 
47                <irq type = "HARD" icuid = "31" isr = "ISR_IOC" /> 
48            </proc> 
49
50            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" /> 
51            <periph type = "XICU" psegname = "PSEG_XICU" channels = "18" />
52            <periph type = "IOC"  psegname = "PSEG_IOC"  channels = "1" /> 
53            <periph type = "TTY"  psegname = "PSEG_TTY"  channels = "8" /> 
54            <periph type = "NIC"  psegname = "PSEG_NIC"  channels = "2" />
55            <periph type = "FBF"  psegname = "PSEG_FBF" />
56        </cluster>
57    </clusterset>
58
59    <globalset> 
60
61*** segments used by the boot code / A[31:28] = 0xB / Identity mapping
62
63        <vseg name = "seg_boot_code"      vbase = "0xBFC00000" mode = "CXW_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
64            <vobj name = "boot_code"      type = "ELF" length = "0x00008000" binpath    = "build/boot/boot.elf" />
65        </vseg>
66        <vseg name = "seg_boot_data"      vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
67            <vobj name = "boot_data"      type = "ELF" length = "0x00001000" binpath    = "build/boot/boot.elf" />
68        </vseg>
69        <vseg name = "seg_boot_stack"     vbase = "0x00001000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
70            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00003000" />
71        </vseg>
72        <vseg name = "seg_boot_mapping"   vbase = "0x00004000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
73            <vobj name = "boot_mapping"   type = "BLOB" length  = "0x00004000" binpath  = "map.bin" />
74        </vseg>
75
76*** peripherals / A[31:28] = 0xB / Identity mapping
77
78        <vseg name = "seg_fbf"            vbase = "0xB2000000" mode = "__W_" clusterid = "0" psegname = "PSEG_FBF" ident = "1" >
79            <vobj name = "fbf"            type = "PERI" length  = "0x00004000" /> 
80        </vseg>
81        <vseg name = "seg_ioc"            vbase = "0xB3000000" mode = "__W_" clusterid = "0" psegname = "PSEG_IOC" ident = "1" >
82            <vobj name = "ioc"            type = "PERI" length  = "0x00001000" /> 
83        </vseg>
84        <vseg name = "seg_tty"            vbase = "0xB4000000" mode = "__W_" clusterid = "0" psegname = "PSEG_TTY" ident = "1" >
85                        <vobj name = "tty"            type = "PERI" length  = "0x00001000" />
86        </vseg>
87        <vseg name = "seg_nic"            vbase = "0xB5000000" mode = "__W_" clusterid = "0" psegname = "PSEG_NIC" ident = "1" >
88            <vobj name = "nic"            type = "PERI" length  = "0x00021000" /> 
89        </vseg>
90
91*** segments used by the kernel / A[31:28] = 0x8
92 
93        <vseg name = "seg_kernel_code"    vbase = "0x80000000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
94            <vobj name = "kernel_code"    type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" />
95        </vseg>
96        <vseg name = "seg_kernel_data"    vbase = "0x80020000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" > 
97            <vobj name = "kernel_data"    type = "ELF" length = "0x00040000" binpath = "build/sys/sys.elf" />
98                </vseg>
99        <vseg name = "seg_kernel_uncdata" vbase = "0x80080000" mode = "__W_" clusterid = "0" psegname = "PSEG_RAM" > 
100            <vobj name = "kernel_uncdata" type = "ELF" length = "0x00010000" binpath = "build/sys/sys.elf" />
101        </vseg>
102        <vseg name = "seg_kernel_init"    vbase = "0x80090000" mode = "CX__" clusterid = "0" psegname = "PSEG_RAM" > 
103            <vobj name  = "kernel_init"   type = "ELF" length = "0x00010000" binpath    = "build/sys/sys.elf" />
104        </vseg>
105
106        <vseg name = "seg_icu_0"          vbase = "0xE0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_XICU" > 
107            <vobj name = "icu_0"          type = "PERI" length  = "0x00001000" /> 
108        </vseg>
109
110        <vseg name = "seg_dma_0"          vbase = "0xD0000000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" >
111            <vobj name = "dma_0"          type = "PERI" length  = "0x00008000" />
112        </vseg>
113
114        <vseg name = "seg_sched_0"        vbase = "0xF0000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" >
115            <vobj name = "sched_0"        type = "SCHED" length  = "0x00008000" />
116        </vseg>
117    </globalset> 
118
119    <vspaceset>
120        <vspace name = "router" startname = "router_data" > 
121            <vseg name = "seg_data"        vbase = "0x00800000" mode = "__WU" clusterid = "0" psegname = "PSEG_RAM" >
122                <vobj name = "router_data" type = "ELF" length = "0x00010000" binpath = "build/router/router.elf" />
123            </vseg>
124            <vseg name = "seg_code"        vbase = "0x00400000" mode = "CX_U" clusterid = "0" psegname = "PSEG_RAM" > 
125                <vobj name = "router_code" type = "ELF" length = "0x00010000" binpath = "build/router/router.elf" /> 
126            </vseg>
127            <vseg name = "seg_ptab"        vbase = "0x00300000" mode = "C___" clusterid = "0" psegname = "PSEG_RAM" > 
128                <vobj name = "ptab"        type = "PTAB" length  = "0x00012000" align   = "13" />
129            </vseg>
130            <vseg name = "seg_stack_prod"  vbase = "0x00010000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" >
131                <vobj name = "stack_prod"  type = "BUFFER" length = "0x00010000" /> 
132                <vobj name = "heap_prod"   type = "BUFFER" length = "0x00010000" /> 
133            </vseg>
134            <vseg name = "seg_stack_cons"  vbase = "0x00030000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" > 
135                <vobj name = "stack_cons"  type = "BUFFER" length = "0x00010000" />
136                <vobj name = "heap_cons"   type = "BUFFER" length = "0x00010000" /> 
137            </vseg>
138            <vseg name = "seg_stack_routA" vbase = "0x00050000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" > 
139                <vobj name = "stack_routA" type = "BUFFER" length = "0x00010000" />
140                <vobj name = "heap_routA"  type = "BUFFER" length = "0x00010000" /> 
141            </vseg>
142            <vseg name = "seg_stack_routB" vbase = "0x00070000" mode = "C_WU" clusterid = "0" psegname = "PSEG_RAM" > 
143                <vobj name = "stack_routB" type = "BUFFER" length = "0x00010000" />
144                <vobj name = "heap_routB"  type = "BUFFER" length = "0x00010000" /> 
145            </vseg>
146            <vseg name = "seg_mwmrs"       vbase = "0x00090000" mode = "__WU" clusterid = "0" psegname = "PSEG_RAM" > 
147                <vobj name = "mwmr_in"     type = "MWMR" length = "0x00000020" init = "1" />
148                <vobj name = "mwmr_out"    type = "MWMR" length = "0x00000020" init = "1" />
149                    </vseg>
150
151            <task name = "producer" clusterid = "0" proclocid = "0" stackname = "stack_prod"  heapname = "heap_prod"  startid = "0" usetty = "1" />
152            <task name = "consumer" clusterid = "0" proclocid = "0" stackname = "stack_cons"  heapname = "heap_cons"  startid = "1" usetty = "1" />
153            <task name = "router_A" clusterid = "0" proclocid = "0" stackname = "stack_routA" heapname = "heap_routA" startid = "2" usetty = "1" />
154            <task name = "router_B" clusterid = "0" proclocid = "0" stackname = "stack_routB" heapname = "heap_routB" startid = "2" usetty = "1" />
155        </vspace>
156
157    </vspaceset>
158</mapping_info>
Note: See TracBrowser for help on using the repository browser.