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

Subversion Repositories c0or1k

[/] [c0or1k/] [trunk/] [config/] [cml/] [examples/] [beagle/] [hello-world.cml] - Blame information for rev 2

Details | Compare with Previous | View Log


#
# Automatically generated, don't edit
#
# Generated on: amit-laptop
# At: Tue, 23 Feb 2010 17:03:17 +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 Platform Type
#
 
#
# ARM Platform Type
#
CONFIG_PLATFORM_EB=n
CONFIG_PLATFORM_PBA8=n
CONFIG_PLATFORM_PB926=n
CONFIG_PLATFORM_PB11MPCORE=n
CONFIG_PLATFORM_BEAGLE=y
CONFIG_PLATFORM_PBA9=n
 
 
 
#
# ARM CPU type
#
 
#
# ARM Processor Type
#
CONFIG_CPU_CORTEXA8=y
 
 
 
 
#
# Generic Processor Properties
#
CONFIG_ICACHE_DISABLE=n
CONFIG_DCACHE_DISABLE=n
 
 
#
# Generic Kernel Properties
#
CONFIG_PREEMPT_DISABLE=n
CONFIG_DEBUG_ACCOUNTING=y
CONFIG_DEBUG_PERFMON=n
 
 
#
# Toolchain Prefix
#
CONFIG_TOOLCHAIN="arm-none-eabi-"
 
 
#
# Container Setup
#
CONFIG_CAPABILITIES=y
CONFIG_CONTAINERS=1
 
#
# Container 0 Parameters
#
 
#
# Container 0 Type
#
CONFIG_CONT0_TYPE_BAREMETAL=y
CONFIG_CONT0_TYPE_POSIX=n
CONFIG_CONT0_TYPE_LINUX=n
 
 
#
# Container 0 Options
#
CONFIG_CONT0_OPT_NAME="hello_world0"
 
#
# Baremetal Project
#
CONFIG_CONT0_BAREMETAL_PROJ_EMPTY=n
CONFIG_CONT0_BAREMETAL_PROJ_HELLO_WORLD=y
CONFIG_CONT0_BAREMETAL_PROJ_THREADS_DEMO=n
CONFIG_CONT0_BAREMETAL_PROJ_TEST_SUITE=n
CONFIG_CONT0_BAREMETAL_PROJ_UART_SERVICE=n
CONFIG_CONT0_BAREMETAL_PROJ_TIMER_SERVICE=n
 
 
#
# Container 0 Default Pager Parameters
#
CONFIG_CONT0_PAGER_LMA=0x80100000
CONFIG_CONT0_PAGER_VMA=0xa0000000
 
 
#
# Container 0 Physical Memory Regions (Capabilities)
#
CONFIG_CONT0_PHYSMEM_REGIONS=1
CONFIG_CONT0_PHYS0_START=0x80100000
CONFIG_CONT0_PHYS0_END=0x80e00000
 
 
#
# Container 0 Virtual Memory Regions (Capabilities)
#
CONFIG_CONT0_VIRTMEM_REGIONS=1
CONFIG_CONT0_VIRT0_START=0xa0000000
CONFIG_CONT0_VIRT0_END=0xb0000000
 
 
#
# 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 IRQ Control Capability
#
CONFIG_CONT0_CAP_IRQCTRL_USE=y
CONFIG_CONT0_CAP_IRQCTRL_TARGET_CURRENT_CONTAINER=y
CONFIG_CONT0_CAP_IRQCTRL_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
 
 
 
 
 
 
#
# Derived symbols
#
CONFIG_DEBUG_PERFMON_KERNEL=n
CONFIG_CONT1_PAGER_LOAD_ADDR=0x81100000
CONFIG_DRIVER_IRQ_PL190=n
CONFIG_DRIVER_TIMER_SP804=n
CONFIG_CONT2_START_PC_ADDR=0xc0000000
CONFIG_CONT3_START_PC_ADDR=0xd0000000
CONFIG_DRIVER_IRQ_GIC=n
CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000
CONFIG_RAM_BASE_PLAT=2147483648
CONFIG_DRIVER_INTC_OMAP=y
CONFIG_CONT2_PAGER_LOAD_ADDR=0x82100000
CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000
CONFIG_CONT3_PAGER_LOAD_ADDR=0x83100000
CONFIG_SUBARCH_V5=n
CONFIG_SUBARCH_V7=y
CONFIG_SUBARCH_V6=n
CONFIG_DRIVER_TIMER_OMAP=y
CONFIG_CONT0_PAGER_LOAD_ADDR=0x80100000
CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000
CONFIG_DRIVER_UART_OMAP=y
CONFIG_DRIVER_UART_PL011=n
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/] [beagle/] [hello-world.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: Tue, 23 Feb 2010 17:03:17 +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 Platform Type`
24			`#`
25
26			`#`
27			`# ARM Platform Type`
28			`#`
29			`CONFIG_PLATFORM_EB=n`
30			`CONFIG_PLATFORM_PBA8=n`
31			`CONFIG_PLATFORM_PB926=n`
32			`CONFIG_PLATFORM_PB11MPCORE=n`
33			`CONFIG_PLATFORM_BEAGLE=y`
34			`CONFIG_PLATFORM_PBA9=n`
35
36
37
38			`#`
39			`# ARM CPU type`
40			`#`
41
42			`#`
43			`# ARM Processor Type`
44			`#`
45			`CONFIG_CPU_CORTEXA8=y`
46
47
48
49
50			`#`
51			`# Generic Processor Properties`
52			`#`
53			`CONFIG_ICACHE_DISABLE=n`
54			`CONFIG_DCACHE_DISABLE=n`
55
56
57			`#`
58			`# Generic Kernel Properties`
59			`#`
60			`CONFIG_PREEMPT_DISABLE=n`
61			`CONFIG_DEBUG_ACCOUNTING=y`
62			`CONFIG_DEBUG_PERFMON=n`
63
64
65			`#`
66			`# Toolchain Prefix`
67			`#`
68			`CONFIG_TOOLCHAIN="arm-none-eabi-"`
69
70
71			`#`
72			`# Container Setup`
73			`#`
74			`CONFIG_CAPABILITIES=y`
75			`CONFIG_CONTAINERS=1`
76
77			`#`
78			`# Container 0 Parameters`
79			`#`
80
81			`#`
82			`# Container 0 Type`
83			`#`
84			`CONFIG_CONT0_TYPE_BAREMETAL=y`
85			`CONFIG_CONT0_TYPE_POSIX=n`
86			`CONFIG_CONT0_TYPE_LINUX=n`
87
88
89			`#`
90			`# Container 0 Options`
91			`#`
92			`CONFIG_CONT0_OPT_NAME="hello_world0"`
93
94			`#`
95			`# Baremetal Project`
96			`#`
97			`CONFIG_CONT0_BAREMETAL_PROJ_EMPTY=n`
98			`CONFIG_CONT0_BAREMETAL_PROJ_HELLO_WORLD=y`
99			`CONFIG_CONT0_BAREMETAL_PROJ_THREADS_DEMO=n`
100			`CONFIG_CONT0_BAREMETAL_PROJ_TEST_SUITE=n`
101			`CONFIG_CONT0_BAREMETAL_PROJ_UART_SERVICE=n`
102			`CONFIG_CONT0_BAREMETAL_PROJ_TIMER_SERVICE=n`
103
104
105			`#`
106			`# Container 0 Default Pager Parameters`
107			`#`
108			`CONFIG_CONT0_PAGER_LMA=0x80100000`
109			`CONFIG_CONT0_PAGER_VMA=0xa0000000`
110
111
112			`#`
113			`# Container 0 Physical Memory Regions (Capabilities)`
114			`#`
115			`CONFIG_CONT0_PHYSMEM_REGIONS=1`
116			`CONFIG_CONT0_PHYS0_START=0x80100000`
117			`CONFIG_CONT0_PHYS0_END=0x80e00000`
118
119
120			`#`
121			`# Container 0 Virtual Memory Regions (Capabilities)`
122			`#`
123			`CONFIG_CONT0_VIRTMEM_REGIONS=1`
124			`CONFIG_CONT0_VIRT0_START=0xa0000000`
125			`CONFIG_CONT0_VIRT0_END=0xb0000000`
126
127
128			`#`
129			`# Container 0 Capability List`
130			`#`
131
132			`#`
133			`# Container 0 Thread Pool Capability`
134			`#`
135			`CONFIG_CONT0_CAP_THREADPOOL_USE=y`
136			`CONFIG_CONT0_CAP_THREADPOOL_SIZE=64`
137
138
139			`#`
140			`# Container 0 Space Pool Capability`
141			`#`
142			`CONFIG_CONT0_CAP_SPACEPOOL_USE=y`
143			`CONFIG_CONT0_CAP_SPACEPOOL_SIZE=64`
144
145
146			`#`
147			`# Container 0 Mutex Pool Capability`
148			`#`
149			`CONFIG_CONT0_CAP_MUTEXPOOL_USE=y`
150			`CONFIG_CONT0_CAP_MUTEXPOOL_SIZE=100`
151
152
153			`#`
154			`# Container 0 Map Pool Capability`
155			`#`
156			`CONFIG_CONT0_CAP_MAPPOOL_USE=y`
157			`CONFIG_CONT0_CAP_MAPPOOL_SIZE=800`
158
159
160			`#`
161			`# Container 0 Capability Pool Capability`
162			`#`
163			`CONFIG_CONT0_CAP_CAPPOOL_USE=y`
164			`CONFIG_CONT0_CAP_CAPPOOL_SIZE=32`
165
166
167			`#`
168			`# Container 0 Thread Control Capability`
169			`#`
170			`CONFIG_CONT0_CAP_TCTRL_USE=y`
171			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y`
172			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n`
173
174
175			`#`
176			`# Container 0 Exchange Registers Capability`
177			`#`
178			`CONFIG_CONT0_CAP_EXREGS_USE=y`
179			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y`
180			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n`
181
182
183			`#`
184			`# Container 0 IPC Capability`
185			`#`
186			`CONFIG_CONT0_CAP_IPC_USE=y`
187			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_CONTAINER=y`
188			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n`
189			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_CONTAINER=n`
190			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_PAGER=n`
191
192
193			`#`
194			`# Container 0 Capability Control Capability`
195			`#`
196			`CONFIG_CONT0_CAP_CAPCTRL_USE=y`
197			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y`
198			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n`
199
200
201			`#`
202			`# Container 0 Userspace Mutex Control Capability`
203			`#`
204			`CONFIG_CONT0_CAP_UMUTEX_USE=y`
205			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y`
206			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n`
207
208
209			`#`
210			`# Container 0 IRQ Control Capability`
211			`#`
212			`CONFIG_CONT0_CAP_IRQCTRL_USE=y`
213			`CONFIG_CONT0_CAP_IRQCTRL_TARGET_CURRENT_CONTAINER=y`
214			`CONFIG_CONT0_CAP_IRQCTRL_TARGET_CURRENT_PAGER_SPACE=n`
215
216
217			`#`
218			`# Container 0 Custom Capability 0 Parameters`
219			`#`
220			`CONFIG_CONT0_CAP_CUSTOM0_USE=n`
221
222
223			`#`
224			`# Container 0 Custom Capability 1 Parameters`
225			`#`
226			`CONFIG_CONT0_CAP_CUSTOM1_USE=n`
227
228
229			`#`
230			`# Container 0 Custom Capability 2 Parameters`
231			`#`
232			`CONFIG_CONT0_CAP_CUSTOM2_USE=n`
233
234
235			`#`
236			`# Container 0 Custom Capability 3 Parameters`
237			`#`
238			`CONFIG_CONT0_CAP_CUSTOM3_USE=n`
239
240
241
242			`#`
243			`# Container 0 Devices (Capabilities)`
244			`#`
245
246			`#`
247			`# Container 0 UART1 Menu`
248			`#`
249			`CONFIG_CONT0_CAP_DEVICE_UART1_USE=n`
250
251
252			`#`
253			`# Container 0 UART2 Menu`
254			`#`
255			`CONFIG_CONT0_CAP_DEVICE_UART2_USE=n`
256
257
258			`#`
259			`# Container 0 UART3 Menu`
260			`#`
261			`CONFIG_CONT0_CAP_DEVICE_UART3_USE=n`
262
263
264			`#`
265			`# Container 0 TIMER23 Menu`
266			`#`
267			`CONFIG_CONT0_CAP_DEVICE_TIMER1_USE=n`
268
269
270
271
272
273
274			`#`
275			`# Derived symbols`
276			`#`
277			`CONFIG_DEBUG_PERFMON_KERNEL=n`
278			`CONFIG_CONT1_PAGER_LOAD_ADDR=0x81100000`
279			`CONFIG_DRIVER_IRQ_PL190=n`
280			`CONFIG_DRIVER_TIMER_SP804=n`
281			`CONFIG_CONT2_START_PC_ADDR=0xc0000000`
282			`CONFIG_CONT3_START_PC_ADDR=0xd0000000`
283			`CONFIG_DRIVER_IRQ_GIC=n`
284			`CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000`
285			`CONFIG_RAM_BASE_PLAT=2147483648`
286			`CONFIG_DRIVER_INTC_OMAP=y`
287			`CONFIG_CONT2_PAGER_LOAD_ADDR=0x82100000`
288			`CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000`
289			`CONFIG_CONT3_PAGER_LOAD_ADDR=0x83100000`
290			`CONFIG_SUBARCH_V5=n`
291			`CONFIG_SUBARCH_V7=y`
292			`CONFIG_SUBARCH_V6=n`
293			`CONFIG_DRIVER_TIMER_OMAP=y`
294			`CONFIG_CONT0_PAGER_LOAD_ADDR=0x80100000`
295			`CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000`
296			`CONFIG_DRIVER_UART_OMAP=y`
297			`CONFIG_DRIVER_UART_PL011=n`
298			`CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000`
299			`CONFIG_CONT0_START_PC_ADDR=0xa0000000`
300			`CONFIG_CONT1_START_PC_ADDR=0xb0000000`
301			`#`
302			`# That's all, folks!`