URL https://opencores.org/ocsvn/c0or1k/c0or1k/trunk

Subversion Repositories c0or1k

[/] [c0or1k/] [trunk/] [config/] [cml/] [examples/] [posix/] [two_posix.cml] - Blame information for rev 2

Details | Compare with Previous | View Log


#
# Automatically generated, don't edit
#
# Generated on: amit-laptop
# At: Fri, 04 Dec 2009 05:19:22 +0000
# Linux version 2.6.28-11-generic (buildd@palmer) (gcc version 4.3.3 (Ubuntu 4.3.3-5ubuntu4) ) #42-Ubuntu SMP Fri Apr 17 01:57:59 UTC 2009
 
#
# Codezero Microkernel Configurator
#
 
#
# Main architecture
#
CONFIG_ARCH_ARM=y
 
 
#
# ARM Architecture Configuration
#
 
#
# ARM Architecture Family
#
CONFIG_SUBARCH_V5=y
CONFIG_SUBARCH_V6=n
CONFIG_SUBARCH_V7=n
 
 
#
# ARM CPU type
#
 
#
# ARM Processor Type
#
CONFIG_CPU_ARM926=y
 
 
 
#
# ARM Platform Type
#
 
#
# ARM Platform Type
#
CONFIG_PLATFORM_EB=n
CONFIG_PLATFORM_PB926=y
 
 
 
 
#
# Toolchain Prefix
#
CONFIG_TOOLCHAIN="arm-none-eabi-"
 
CONFIG_CONTAINERS=2
 
#
# Container Setup
#
CONFIG_CAPABILITIES=y
 
#
# Container 0 Parameters
#
 
#
# Container 0 Type
#
CONFIG_CONT0_TYPE_BAREMETAL=n
CONFIG_CONT0_TYPE_POSIX=y
CONFIG_CONT0_TYPE_LINUX=n
 
 
#
# Container 0 Options
#
CONFIG_CONT0_OPT_NAME="posix0"
 
#
# Container 0 Default Pager Parameters
#
CONFIG_CONT0_PAGER_LMA=0x100000
CONFIG_CONT0_PAGER_VMA=0xa0000000
 
 
#
# Container 0 POSIX Pager Parameters
#
CONFIG_CONT0_PAGER_SHM_START=0x80000000
CONFIG_CONT0_PAGER_SHM_END=0x88000000
CONFIG_CONT0_PAGER_TASK_START=0x40000000
CONFIG_CONT0_PAGER_TASK_END=0x50000000
CONFIG_CONT0_PAGER_UTCB_START=0xf8100000
CONFIG_CONT0_PAGER_UTCB_END=0xf8200000
 
 
#
# Container 0 Physical Memory Regions (Capabilities)
#
CONFIG_CONT0_PHYSMEM_REGIONS=1
CONFIG_CONT0_PHYS0_START=0x100000
CONFIG_CONT0_PHYS0_END=0xe00000
 
 
#
# Container 0 Virtual Memory Regions (Capabilities)
#
CONFIG_CONT0_VIRTMEM_REGIONS=4
CONFIG_CONT0_VIRT0_START=0xa0000000
CONFIG_CONT0_VIRT0_END=0xb0000000
CONFIG_CONT0_VIRT1_START=0x80000000
CONFIG_CONT0_VIRT1_END=0x88000000
CONFIG_CONT0_VIRT2_START=0x40000000
CONFIG_CONT0_VIRT2_END=0x50000000
CONFIG_CONT0_VIRT3_START=0xf8100000
CONFIG_CONT0_VIRT3_END=0xf8200000
 
 
#
# Container 0 Capability List
#
 
#
# Container 0 Thread Pool Capability
#
CONFIG_CONT0_CAP_THREADPOOL_USE=y
CONFIG_CONT0_CAP_THREADPOOL_SIZE=64
 
 
#
# Container 0 Space Pool Capability
#
CONFIG_CONT0_CAP_SPACEPOOL_USE=y
CONFIG_CONT0_CAP_SPACEPOOL_SIZE=64
 
 
#
# Container 0 Mutex Pool Capability
#
CONFIG_CONT0_CAP_MUTEXPOOL_USE=y
CONFIG_CONT0_CAP_MUTEXPOOL_SIZE=100
 
 
#
# Container 0 Map Pool Capability
#
CONFIG_CONT0_CAP_MAPPOOL_USE=y
CONFIG_CONT0_CAP_MAPPOOL_SIZE=800
 
 
#
# Container 0 Capability Pool Capability
#
CONFIG_CONT0_CAP_CAPPOOL_USE=y
CONFIG_CONT0_CAP_CAPPOOL_SIZE=32
 
 
#
# Container 0 Thread Control Capability
#
CONFIG_CONT0_CAP_TCTRL_USE=y
CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 0 Exchange Registers Capability
#
CONFIG_CONT0_CAP_EXREGS_USE=y
CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 0 IPC Capability
#
CONFIG_CONT0_CAP_IPC_USE=y
CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n
CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_CONTAINER=n
CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_PAGER=n
 
 
#
# Container 0 Capability Control Capability
#
CONFIG_CONT0_CAP_CAPCTRL_USE=y
CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 0 Userspace Mutex Control Capability
#
CONFIG_CONT0_CAP_UMUTEX_USE=y
CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 0 Custom Capability 0 Parameters
#
CONFIG_CONT0_CAP_CUSTOM0_USE=n
 
 
#
# Container 0 Custom Capability 1 Parameters
#
CONFIG_CONT0_CAP_CUSTOM1_USE=n
 
 
#
# Container 0 Custom Capability 2 Parameters
#
CONFIG_CONT0_CAP_CUSTOM2_USE=n
 
 
#
# Container 0 Custom Capability 3 Parameters
#
CONFIG_CONT0_CAP_CUSTOM3_USE=n
 
 
 
#
# Container 0 Devices (Capabilities)
#
 
#
# Container 0 UART1 Menu
#
CONFIG_CONT0_CAP_DEVICE_UART1_USE=n
 
 
#
# Container 0 UART2 Menu
#
CONFIG_CONT0_CAP_DEVICE_UART2_USE=n
 
 
#
# Container 0 UART3 Menu
#
CONFIG_CONT0_CAP_DEVICE_UART3_USE=n
 
 
#
# Container 0 TIMER23 Menu
#
CONFIG_CONT0_CAP_DEVICE_TIMER1_USE=n
 
 
 
 
 
#
# Container 1 Parameters
#
 
#
# Container 1 Type
#
CONFIG_CONT1_TYPE_BAREMETAL=n
CONFIG_CONT1_TYPE_POSIX=y
CONFIG_CONT1_TYPE_LINUX=n
 
 
#
# Container 1 Options
#
CONFIG_CONT1_OPT_NAME="posix1"
 
#
# Container 1 Default Pager Parameters
#
CONFIG_CONT1_PAGER_LMA=0x1100000
CONFIG_CONT1_PAGER_VMA=0xb0000000
 
 
#
# Container 1 POSIX Pager Parameters
#
CONFIG_CONT1_PAGER_SHM_START=0x88000000
CONFIG_CONT1_PAGER_SHM_END=0x90000000
CONFIG_CONT1_PAGER_TASK_START=0x50000000
CONFIG_CONT1_PAGER_TASK_END=0x60000000
CONFIG_CONT1_PAGER_UTCB_START=0xf8200000
CONFIG_CONT1_PAGER_UTCB_END=0xf8300000
 
 
#
# Container 1 Physical Memory Regions (Capabilities)
#
CONFIG_CONT1_PHYSMEM_REGIONS=1
CONFIG_CONT1_PHYS0_START=0x1100000
CONFIG_CONT1_PHYS0_END=0x1e00000
 
 
#
# Container 1 Virtual Memory Regions (Capabilities)
#
CONFIG_CONT1_VIRTMEM_REGIONS=4
CONFIG_CONT1_VIRT0_START=0xb0000000
CONFIG_CONT1_VIRT0_END=0xc0000000
CONFIG_CONT1_VIRT1_START=0x88000000
CONFIG_CONT1_VIRT1_END=0x90000000
CONFIG_CONT1_VIRT2_START=0x50000000
CONFIG_CONT1_VIRT2_END=0x60000000
CONFIG_CONT1_VIRT3_START=0xf8200000
CONFIG_CONT1_VIRT3_END=0xf8300000
 
 
#
# Container 1 Capability List
#
 
#
# Container 1 Thread Pool Capability
#
CONFIG_CONT1_CAP_THREADPOOL_USE=y
CONFIG_CONT1_CAP_THREADPOOL_SIZE=64
 
 
#
# Container 1 Space Pool Capability
#
CONFIG_CONT1_CAP_SPACEPOOL_USE=y
CONFIG_CONT1_CAP_SPACEPOOL_SIZE=64
 
 
#
# Container 1 Mutex Pool Capability
#
CONFIG_CONT1_CAP_MUTEXPOOL_USE=y
CONFIG_CONT1_CAP_MUTEXPOOL_SIZE=100
 
 
#
# Container 1 Map Pool Capability
#
CONFIG_CONT1_CAP_MAPPOOL_USE=y
CONFIG_CONT1_CAP_MAPPOOL_SIZE=800
 
 
#
# Container 1 Capability Pool Capability
#
CONFIG_CONT1_CAP_CAPPOOL_USE=y
CONFIG_CONT1_CAP_CAPPOOL_SIZE=32
 
 
#
# Container 1 Thread Control Capability
#
CONFIG_CONT1_CAP_TCTRL_USE=y
CONFIG_CONT1_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT1_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 1 Exchange Registers Capability
#
CONFIG_CONT1_CAP_EXREGS_USE=y
CONFIG_CONT1_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT1_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 1 IPC Capability
#
CONFIG_CONT1_CAP_IPC_USE=y
CONFIG_CONT1_CAP_IPC_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT1_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n
CONFIG_CONT1_CAP_IPC_TARGET_ANOTHER_CONTAINER=n
CONFIG_CONT1_CAP_IPC_TARGET_ANOTHER_PAGER=n
 
 
#
# Container 1 Capability Control Capability
#
CONFIG_CONT1_CAP_CAPCTRL_USE=y
CONFIG_CONT1_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT1_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 1 Userspace Mutex Control Capability
#
CONFIG_CONT1_CAP_UMUTEX_USE=y
CONFIG_CONT1_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT1_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n
 
 
#
# Container 1 Custom Capability 0 Parameters
#
CONFIG_CONT1_CAP_CUSTOM0_USE=n
 
 
#
# Container 1 Custom Capability 1 Parameters
#
CONFIG_CONT1_CAP_CUSTOM1_USE=n
 
 
#
# Container 1 Custom Capability 2 Parameters
#
CONFIG_CONT1_CAP_CUSTOM2_USE=n
 
 
#
# Container 1 Custom Capability 3 Parameters
#
CONFIG_CONT1_CAP_CUSTOM3_USE=n
 
 
 
#
# Container 1 Devices (Capabilities)
#
 
#
# Container 1 UART1 Menu
#
CONFIG_CONT1_CAP_DEVICE_UART1_USE=n
 
 
#
# Container 1 UART2 Menu
#
CONFIG_CONT1_CAP_DEVICE_UART2_USE=n
 
 
#
# Container 1 UART3 Menu
#
CONFIG_CONT1_CAP_DEVICE_UART3_USE=n
 
 
#
# Container 1 TIMER23 Menu
#
CONFIG_CONT1_CAP_DEVICE_TIMER1_USE=n
 
 
 
 
 
 
#
# Derived symbols
#
CONFIG_CONT1_PAGER_LOAD_ADDR=0x1100000
CONFIG_DRIVER_IRQ_PL190=y
CONFIG_DRIVER_TIMER_SP804=y
CONFIG_CONT2_START_PC_ADDR=0xc0000000
CONFIG_CONT3_START_PC_ADDR=0xd0000000
CONFIG_DRIVER_IRQ_GIC=n
CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000
CONFIG_baremetal2="baremetal_noname2"
CONFIG_CONT2_PAGER_LOAD_ADDR=0x2100000
CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000
CONFIG_CONT3_PAGER_LOAD_ADDR=0x3100000
CONFIG_CONT0_PAGER_LOAD_ADDR=0x100000
CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000
CONFIG_baremetal1="empty1"
CONFIG_baremetal0="empty0"
CONFIG_baremetal3="baremetal_noname3"
CONFIG_DRIVER_UART_PL011=y
CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000
CONFIG_CONT0_START_PC_ADDR=0xa0000000
CONFIG_CONT1_START_PC_ADDR=0xb0000000
#
# That's all, folks!

Browse

Tools

Subversion Repositories c0or1k

[/] [c0or1k/] [trunk/] [config/] [cml/] [examples/] [posix/] [two_posix.cml] - Blame information for rev 2

Line No.	Rev	Author	Line
1	2	drasko	`#`
2			`# Automatically generated, don't edit`
3			`#`
4			`# Generated on: amit-laptop`
5			`# At: Fri, 04 Dec 2009 05:19:22 +0000`
6			`# Linux version 2.6.28-11-generic (buildd@palmer) (gcc version 4.3.3 (Ubuntu 4.3.3-5ubuntu4) ) #42-Ubuntu SMP Fri Apr 17 01:57:59 UTC 2009`
7
8			`#`
9			`# Codezero Microkernel Configurator`
10			`#`
11
12			`#`
13			`# Main architecture`
14			`#`
15			`CONFIG_ARCH_ARM=y`
16
17
18			`#`
19			`# ARM Architecture Configuration`
20			`#`
21
22			`#`
23			`# ARM Architecture Family`
24			`#`
25			`CONFIG_SUBARCH_V5=y`
26			`CONFIG_SUBARCH_V6=n`
27			`CONFIG_SUBARCH_V7=n`
28
29
30			`#`
31			`# ARM CPU type`
32			`#`
33
34			`#`
35			`# ARM Processor Type`
36			`#`
37			`CONFIG_CPU_ARM926=y`
38
39
40
41			`#`
42			`# ARM Platform Type`
43			`#`
44
45			`#`
46			`# ARM Platform Type`
47			`#`
48			`CONFIG_PLATFORM_EB=n`
49			`CONFIG_PLATFORM_PB926=y`
50
51
52
53
54			`#`
55			`# Toolchain Prefix`
56			`#`
57			`CONFIG_TOOLCHAIN="arm-none-eabi-"`
58
59			`CONFIG_CONTAINERS=2`
60
61			`#`
62			`# Container Setup`
63			`#`
64			`CONFIG_CAPABILITIES=y`
65
66			`#`
67			`# Container 0 Parameters`
68			`#`
69
70			`#`
71			`# Container 0 Type`
72			`#`
73			`CONFIG_CONT0_TYPE_BAREMETAL=n`
74			`CONFIG_CONT0_TYPE_POSIX=y`
75			`CONFIG_CONT0_TYPE_LINUX=n`
76
77
78			`#`
79			`# Container 0 Options`
80			`#`
81			`CONFIG_CONT0_OPT_NAME="posix0"`
82
83			`#`
84			`# Container 0 Default Pager Parameters`
85			`#`
86			`CONFIG_CONT0_PAGER_LMA=0x100000`
87			`CONFIG_CONT0_PAGER_VMA=0xa0000000`
88
89
90			`#`
91			`# Container 0 POSIX Pager Parameters`
92			`#`
93			`CONFIG_CONT0_PAGER_SHM_START=0x80000000`
94			`CONFIG_CONT0_PAGER_SHM_END=0x88000000`
95			`CONFIG_CONT0_PAGER_TASK_START=0x40000000`
96			`CONFIG_CONT0_PAGER_TASK_END=0x50000000`
97			`CONFIG_CONT0_PAGER_UTCB_START=0xf8100000`
98			`CONFIG_CONT0_PAGER_UTCB_END=0xf8200000`
99
100
101			`#`
102			`# Container 0 Physical Memory Regions (Capabilities)`
103			`#`
104			`CONFIG_CONT0_PHYSMEM_REGIONS=1`
105			`CONFIG_CONT0_PHYS0_START=0x100000`
106			`CONFIG_CONT0_PHYS0_END=0xe00000`
107
108
109			`#`
110			`# Container 0 Virtual Memory Regions (Capabilities)`
111			`#`
112			`CONFIG_CONT0_VIRTMEM_REGIONS=4`
113			`CONFIG_CONT0_VIRT0_START=0xa0000000`
114			`CONFIG_CONT0_VIRT0_END=0xb0000000`
115			`CONFIG_CONT0_VIRT1_START=0x80000000`
116			`CONFIG_CONT0_VIRT1_END=0x88000000`
117			`CONFIG_CONT0_VIRT2_START=0x40000000`
118			`CONFIG_CONT0_VIRT2_END=0x50000000`
119			`CONFIG_CONT0_VIRT3_START=0xf8100000`
120			`CONFIG_CONT0_VIRT3_END=0xf8200000`
121
122
123			`#`
124			`# Container 0 Capability List`
125			`#`
126
127			`#`
128			`# Container 0 Thread Pool Capability`
129			`#`
130			`CONFIG_CONT0_CAP_THREADPOOL_USE=y`
131			`CONFIG_CONT0_CAP_THREADPOOL_SIZE=64`
132
133
134			`#`
135			`# Container 0 Space Pool Capability`
136			`#`
137			`CONFIG_CONT0_CAP_SPACEPOOL_USE=y`
138			`CONFIG_CONT0_CAP_SPACEPOOL_SIZE=64`
139
140
141			`#`
142			`# Container 0 Mutex Pool Capability`
143			`#`
144			`CONFIG_CONT0_CAP_MUTEXPOOL_USE=y`
145			`CONFIG_CONT0_CAP_MUTEXPOOL_SIZE=100`
146
147
148			`#`
149			`# Container 0 Map Pool Capability`
150			`#`
151			`CONFIG_CONT0_CAP_MAPPOOL_USE=y`
152			`CONFIG_CONT0_CAP_MAPPOOL_SIZE=800`
153
154
155			`#`
156			`# Container 0 Capability Pool Capability`
157			`#`
158			`CONFIG_CONT0_CAP_CAPPOOL_USE=y`
159			`CONFIG_CONT0_CAP_CAPPOOL_SIZE=32`
160
161
162			`#`
163			`# Container 0 Thread Control Capability`
164			`#`
165			`CONFIG_CONT0_CAP_TCTRL_USE=y`
166			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y`
167			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n`
168
169
170			`#`
171			`# Container 0 Exchange Registers Capability`
172			`#`
173			`CONFIG_CONT0_CAP_EXREGS_USE=y`
174			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y`
175			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n`
176
177
178			`#`
179			`# Container 0 IPC Capability`
180			`#`
181			`CONFIG_CONT0_CAP_IPC_USE=y`
182			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_CONTAINER=y`
183			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n`
184			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_CONTAINER=n`
185			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_PAGER=n`
186
187
188			`#`
189			`# Container 0 Capability Control Capability`
190			`#`
191			`CONFIG_CONT0_CAP_CAPCTRL_USE=y`
192			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y`
193			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n`
194
195
196			`#`
197			`# Container 0 Userspace Mutex Control Capability`
198			`#`
199			`CONFIG_CONT0_CAP_UMUTEX_USE=y`
200			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y`
201			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n`
202
203
204			`#`
205			`# Container 0 Custom Capability 0 Parameters`
206			`#`
207			`CONFIG_CONT0_CAP_CUSTOM0_USE=n`
208
209
210			`#`
211			`# Container 0 Custom Capability 1 Parameters`
212			`#`
213			`CONFIG_CONT0_CAP_CUSTOM1_USE=n`
214
215
216			`#`
217			`# Container 0 Custom Capability 2 Parameters`
218			`#`
219			`CONFIG_CONT0_CAP_CUSTOM2_USE=n`
220
221
222			`#`
223			`# Container 0 Custom Capability 3 Parameters`
224			`#`
225			`CONFIG_CONT0_CAP_CUSTOM3_USE=n`
226
227
228
229			`#`
230			`# Container 0 Devices (Capabilities)`
231			`#`
232
233			`#`
234			`# Container 0 UART1 Menu`
235			`#`
236			`CONFIG_CONT0_CAP_DEVICE_UART1_USE=n`
237
238
239			`#`
240			`# Container 0 UART2 Menu`
241			`#`
242			`CONFIG_CONT0_CAP_DEVICE_UART2_USE=n`
243
244
245			`#`
246			`# Container 0 UART3 Menu`
247			`#`
248			`CONFIG_CONT0_CAP_DEVICE_UART3_USE=n`
249
250
251			`#`
252			`# Container 0 TIMER23 Menu`
253			`#`
254			`CONFIG_CONT0_CAP_DEVICE_TIMER1_USE=n`
255
256
257
258
259
260			`#`
261			`# Container 1 Parameters`
262			`#`
263
264			`#`
265			`# Container 1 Type`
266			`#`
267			`CONFIG_CONT1_TYPE_BAREMETAL=n`
268			`CONFIG_CONT1_TYPE_POSIX=y`
269			`CONFIG_CONT1_TYPE_LINUX=n`
270
271
272			`#`
273			`# Container 1 Options`
274			`#`
275			`CONFIG_CONT1_OPT_NAME="posix1"`
276
277			`#`
278			`# Container 1 Default Pager Parameters`
279			`#`
280			`CONFIG_CONT1_PAGER_LMA=0x1100000`
281			`CONFIG_CONT1_PAGER_VMA=0xb0000000`
282
283
284			`#`
285			`# Container 1 POSIX Pager Parameters`
286			`#`
287			`CONFIG_CONT1_PAGER_SHM_START=0x88000000`
288			`CONFIG_CONT1_PAGER_SHM_END=0x90000000`
289			`CONFIG_CONT1_PAGER_TASK_START=0x50000000`
290			`CONFIG_CONT1_PAGER_TASK_END=0x60000000`
291			`CONFIG_CONT1_PAGER_UTCB_START=0xf8200000`
292			`CONFIG_CONT1_PAGER_UTCB_END=0xf8300000`
293
294
295			`#`
296			`# Container 1 Physical Memory Regions (Capabilities)`
297			`#`
298			`CONFIG_CONT1_PHYSMEM_REGIONS=1`
299			`CONFIG_CONT1_PHYS0_START=0x1100000`
300			`CONFIG_CONT1_PHYS0_END=0x1e00000`
301
302
303			`#`
304			`# Container 1 Virtual Memory Regions (Capabilities)`
305			`#`
306			`CONFIG_CONT1_VIRTMEM_REGIONS=4`
307			`CONFIG_CONT1_VIRT0_START=0xb0000000`
308			`CONFIG_CONT1_VIRT0_END=0xc0000000`
309			`CONFIG_CONT1_VIRT1_START=0x88000000`
310			`CONFIG_CONT1_VIRT1_END=0x90000000`
311			`CONFIG_CONT1_VIRT2_START=0x50000000`
312			`CONFIG_CONT1_VIRT2_END=0x60000000`
313			`CONFIG_CONT1_VIRT3_START=0xf8200000`
314			`CONFIG_CONT1_VIRT3_END=0xf8300000`
315
316
317			`#`
318			`# Container 1 Capability List`
319			`#`
320
321			`#`
322			`# Container 1 Thread Pool Capability`
323			`#`
324			`CONFIG_CONT1_CAP_THREADPOOL_USE=y`
325			`CONFIG_CONT1_CAP_THREADPOOL_SIZE=64`
326
327
328			`#`
329			`# Container 1 Space Pool Capability`
330			`#`
331			`CONFIG_CONT1_CAP_SPACEPOOL_USE=y`
332			`CONFIG_CONT1_CAP_SPACEPOOL_SIZE=64`
333
334
335			`#`
336			`# Container 1 Mutex Pool Capability`
337			`#`
338			`CONFIG_CONT1_CAP_MUTEXPOOL_USE=y`
339			`CONFIG_CONT1_CAP_MUTEXPOOL_SIZE=100`
340
341
342			`#`
343			`# Container 1 Map Pool Capability`
344			`#`
345			`CONFIG_CONT1_CAP_MAPPOOL_USE=y`
346			`CONFIG_CONT1_CAP_MAPPOOL_SIZE=800`
347
348
349			`#`
350			`# Container 1 Capability Pool Capability`
351			`#`
352			`CONFIG_CONT1_CAP_CAPPOOL_USE=y`
353			`CONFIG_CONT1_CAP_CAPPOOL_SIZE=32`
354
355
356			`#`
357			`# Container 1 Thread Control Capability`
358			`#`
359			`CONFIG_CONT1_CAP_TCTRL_USE=y`
360			`CONFIG_CONT1_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y`
361			`CONFIG_CONT1_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n`
362
363
364			`#`
365			`# Container 1 Exchange Registers Capability`
366			`#`
367			`CONFIG_CONT1_CAP_EXREGS_USE=y`
368			`CONFIG_CONT1_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y`
369			`CONFIG_CONT1_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n`
370
371
372			`#`
373			`# Container 1 IPC Capability`
374			`#`
375			`CONFIG_CONT1_CAP_IPC_USE=y`
376			`CONFIG_CONT1_CAP_IPC_TARGET_CURRENT_CONTAINER=y`
377			`CONFIG_CONT1_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n`
378			`CONFIG_CONT1_CAP_IPC_TARGET_ANOTHER_CONTAINER=n`
379			`CONFIG_CONT1_CAP_IPC_TARGET_ANOTHER_PAGER=n`
380
381
382			`#`
383			`# Container 1 Capability Control Capability`
384			`#`
385			`CONFIG_CONT1_CAP_CAPCTRL_USE=y`
386			`CONFIG_CONT1_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y`
387			`CONFIG_CONT1_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n`
388
389
390			`#`
391			`# Container 1 Userspace Mutex Control Capability`
392			`#`
393			`CONFIG_CONT1_CAP_UMUTEX_USE=y`
394			`CONFIG_CONT1_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y`
395			`CONFIG_CONT1_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n`
396
397
398			`#`
399			`# Container 1 Custom Capability 0 Parameters`
400			`#`
401			`CONFIG_CONT1_CAP_CUSTOM0_USE=n`
402
403
404			`#`
405			`# Container 1 Custom Capability 1 Parameters`
406			`#`
407			`CONFIG_CONT1_CAP_CUSTOM1_USE=n`
408
409
410			`#`
411			`# Container 1 Custom Capability 2 Parameters`
412			`#`
413			`CONFIG_CONT1_CAP_CUSTOM2_USE=n`
414
415
416			`#`
417			`# Container 1 Custom Capability 3 Parameters`
418			`#`
419			`CONFIG_CONT1_CAP_CUSTOM3_USE=n`
420
421
422
423			`#`
424			`# Container 1 Devices (Capabilities)`
425			`#`
426
427			`#`
428			`# Container 1 UART1 Menu`
429			`#`
430			`CONFIG_CONT1_CAP_DEVICE_UART1_USE=n`
431
432
433			`#`
434			`# Container 1 UART2 Menu`
435			`#`
436			`CONFIG_CONT1_CAP_DEVICE_UART2_USE=n`
437
438
439			`#`
440			`# Container 1 UART3 Menu`
441			`#`
442			`CONFIG_CONT1_CAP_DEVICE_UART3_USE=n`
443
444
445			`#`
446			`# Container 1 TIMER23 Menu`
447			`#`
448			`CONFIG_CONT1_CAP_DEVICE_TIMER1_USE=n`
449
450
451
452
453
454
455			`#`
456			`# Derived symbols`
457			`#`
458			`CONFIG_CONT1_PAGER_LOAD_ADDR=0x1100000`
459			`CONFIG_DRIVER_IRQ_PL190=y`
460			`CONFIG_DRIVER_TIMER_SP804=y`
461			`CONFIG_CONT2_START_PC_ADDR=0xc0000000`
462			`CONFIG_CONT3_START_PC_ADDR=0xd0000000`
463			`CONFIG_DRIVER_IRQ_GIC=n`
464			`CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000`
465			`CONFIG_baremetal2="baremetal_noname2"`
466			`CONFIG_CONT2_PAGER_LOAD_ADDR=0x2100000`
467			`CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000`
468			`CONFIG_CONT3_PAGER_LOAD_ADDR=0x3100000`
469			`CONFIG_CONT0_PAGER_LOAD_ADDR=0x100000`
470			`CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000`
471			`CONFIG_baremetal1="empty1"`
472			`CONFIG_baremetal0="empty0"`
473			`CONFIG_baremetal3="baremetal_noname3"`
474			`CONFIG_DRIVER_UART_PL011=y`
475			`CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000`
476			`CONFIG_CONT0_START_PC_ADDR=0xa0000000`
477			`CONFIG_CONT1_START_PC_ADDR=0xb0000000`
478			`#`
479			`# That's all, folks!`