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

Subversion Repositories c0or1k

[/] [c0or1k/] [trunk/] [config/] [cml/] [examples/] [linux/] [pb926/] [config.cml] - Blame information for rev 2

Details | Compare with Previous | View Log


#
# Automatically generated, don't edit
#
# Generated on: amit-laptop
# At: Wed, 03 Mar 2010 08:42:40 +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=y
CONFIG_PLATFORM_PB11MPCORE=n
CONFIG_PLATFORM_BEAGLE=n
CONFIG_PLATFORM_PBA9=n
 
 
 
#
# ARM CPU type
#
 
#
# ARM Processor Type
#
CONFIG_CPU_ARM926=y
 
 
 
 
#
# Generic Processor Properties
#
CONFIG_ICACHE_DISABLE=n
CONFIG_DCACHE_DISABLE=n
 
 
#
# Generic Kernel Properties
#
CONFIG_PREEMPT_DISABLE=n
CONFIG_DEBUG_ACCOUNTING=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=n
CONFIG_CONT0_TYPE_POSIX=n
CONFIG_CONT0_TYPE_LINUX=y
 
 
#
# Container 0 Options
#
CONFIG_CONT0_OPT_NAME="linux0"
 
#
# Container 0 Linux Pager Parameters
#
CONFIG_CONT0_LINUX_PHYS_OFFSET=0x200000
CONFIG_CONT0_LINUX_ZRELADDR=0x208000
CONFIG_CONT0_LINUX_ROOTFS_ADDRESS=0x700000
CONFIG_CONT0_LINUX_PAGE_OFFSET=0xa0000000
 
 
#
# Container 0 Physical Memory Regions (Capabilities)
#
CONFIG_CONT0_PHYSMEM_REGIONS=1
CONFIG_CONT0_PHYS0_START=0x200000
CONFIG_CONT0_PHYS0_END=0xf00000
 
 
#
# 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=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_RAM_BASE_PLAT=0
CONFIG_DRIVER_INTC_OMAP=n
CONFIG_CONT2_PAGER_LOAD_ADDR=0x2100000
CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000
CONFIG_CONT3_PAGER_LOAD_ADDR=0x3100000
CONFIG_SUBARCH_V5=y
CONFIG_SUBARCH_V7=n
CONFIG_SUBARCH_V6=n
CONFIG_DRIVER_TIMER_OMAP=n
CONFIG_CONT0_PAGER_LOAD_ADDR=0x200000
CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000
CONFIG_DRIVER_UART_OMAP=n
CONFIG_DRIVER_UART_PL011=y
CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000
CONFIG_CONT0_START_PC_ADDR=0xa0008000
CONFIG_CONT1_START_PC_ADDR=0xb0000000
#
# That's all, folks!

Browse

Tools

Subversion Repositories c0or1k

[/] [c0or1k/] [trunk/] [config/] [cml/] [examples/] [linux/] [pb926/] [config.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: Wed, 03 Mar 2010 08:42:40 +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=y`
32			`CONFIG_PLATFORM_PB11MPCORE=n`
33			`CONFIG_PLATFORM_BEAGLE=n`
34			`CONFIG_PLATFORM_PBA9=n`
35
36
37
38			`#`
39			`# ARM CPU type`
40			`#`
41
42			`#`
43			`# ARM Processor Type`
44			`#`
45			`CONFIG_CPU_ARM926=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=n`
62
63
64			`#`
65			`# Toolchain Prefix`
66			`#`
67			`CONFIG_TOOLCHAIN="arm-none-eabi-"`
68
69
70			`#`
71			`# Container Setup`
72			`#`
73			`CONFIG_CAPABILITIES=y`
74			`CONFIG_CONTAINERS=1`
75
76			`#`
77			`# Container 0 Parameters`
78			`#`
79
80			`#`
81			`# Container 0 Type`
82			`#`
83			`CONFIG_CONT0_TYPE_BAREMETAL=n`
84			`CONFIG_CONT0_TYPE_POSIX=n`
85			`CONFIG_CONT0_TYPE_LINUX=y`
86
87
88			`#`
89			`# Container 0 Options`
90			`#`
91			`CONFIG_CONT0_OPT_NAME="linux0"`
92
93			`#`
94			`# Container 0 Linux Pager Parameters`
95			`#`
96			`CONFIG_CONT0_LINUX_PHYS_OFFSET=0x200000`
97			`CONFIG_CONT0_LINUX_ZRELADDR=0x208000`
98			`CONFIG_CONT0_LINUX_ROOTFS_ADDRESS=0x700000`
99			`CONFIG_CONT0_LINUX_PAGE_OFFSET=0xa0000000`
100
101
102			`#`
103			`# Container 0 Physical Memory Regions (Capabilities)`
104			`#`
105			`CONFIG_CONT0_PHYSMEM_REGIONS=1`
106			`CONFIG_CONT0_PHYS0_START=0x200000`
107			`CONFIG_CONT0_PHYS0_END=0xf00000`
108
109
110			`#`
111			`# Container 0 Virtual Memory Regions (Capabilities)`
112			`#`
113			`CONFIG_CONT0_VIRTMEM_REGIONS=1`
114			`CONFIG_CONT0_VIRT0_START=0xa0000000`
115			`CONFIG_CONT0_VIRT0_END=0xb0000000`
116
117
118			`#`
119			`# Container 0 Capability List`
120			`#`
121
122			`#`
123			`# Container 0 Thread Pool Capability`
124			`#`
125			`CONFIG_CONT0_CAP_THREADPOOL_USE=y`
126			`CONFIG_CONT0_CAP_THREADPOOL_SIZE=64`
127
128
129			`#`
130			`# Container 0 Space Pool Capability`
131			`#`
132			`CONFIG_CONT0_CAP_SPACEPOOL_USE=y`
133			`CONFIG_CONT0_CAP_SPACEPOOL_SIZE=64`
134
135
136			`#`
137			`# Container 0 Mutex Pool Capability`
138			`#`
139			`CONFIG_CONT0_CAP_MUTEXPOOL_USE=y`
140			`CONFIG_CONT0_CAP_MUTEXPOOL_SIZE=100`
141
142
143			`#`
144			`# Container 0 Map Pool Capability`
145			`#`
146			`CONFIG_CONT0_CAP_MAPPOOL_USE=y`
147			`CONFIG_CONT0_CAP_MAPPOOL_SIZE=800`
148
149
150			`#`
151			`# Container 0 Capability Pool Capability`
152			`#`
153			`CONFIG_CONT0_CAP_CAPPOOL_USE=y`
154			`CONFIG_CONT0_CAP_CAPPOOL_SIZE=32`
155
156
157			`#`
158			`# Container 0 Thread Control Capability`
159			`#`
160			`CONFIG_CONT0_CAP_TCTRL_USE=y`
161			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_CONTAINER=y`
162			`CONFIG_CONT0_CAP_TCTRL_TARGET_CURRENT_PAGER_SPACE=n`
163
164
165			`#`
166			`# Container 0 Exchange Registers Capability`
167			`#`
168			`CONFIG_CONT0_CAP_EXREGS_USE=y`
169			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_CONTAINER=y`
170			`CONFIG_CONT0_CAP_EXREGS_TARGET_CURRENT_PAGER_SPACE=n`
171
172
173			`#`
174			`# Container 0 IPC Capability`
175			`#`
176			`CONFIG_CONT0_CAP_IPC_USE=y`
177			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_CONTAINER=y`
178			`CONFIG_CONT0_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n`
179			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_CONTAINER=n`
180			`CONFIG_CONT0_CAP_IPC_TARGET_ANOTHER_PAGER=n`
181
182
183			`#`
184			`# Container 0 Capability Control Capability`
185			`#`
186			`CONFIG_CONT0_CAP_CAPCTRL_USE=y`
187			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_CONTAINER=y`
188			`CONFIG_CONT0_CAP_CAPCTRL_TARGET_CURRENT_PAGER_SPACE=n`
189
190
191			`#`
192			`# Container 0 Userspace Mutex Control Capability`
193			`#`
194			`CONFIG_CONT0_CAP_UMUTEX_USE=y`
195			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_CONTAINER=y`
196			`CONFIG_CONT0_CAP_UMUTEX_TARGET_CURRENT_PAGER_SPACE=n`
197
198
199			`#`
200			`# Container 0 IRQ Control Capability`
201			`#`
202			`CONFIG_CONT0_CAP_IRQCTRL_USE=y`
203			`CONFIG_CONT0_CAP_IRQCTRL_TARGET_CURRENT_CONTAINER=y`
204			`CONFIG_CONT0_CAP_IRQCTRL_TARGET_CURRENT_PAGER_SPACE=n`
205
206
207			`#`
208			`# Container 0 Custom Capability 0 Parameters`
209			`#`
210			`CONFIG_CONT0_CAP_CUSTOM0_USE=n`
211
212
213			`#`
214			`# Container 0 Custom Capability 1 Parameters`
215			`#`
216			`CONFIG_CONT0_CAP_CUSTOM1_USE=n`
217
218
219			`#`
220			`# Container 0 Custom Capability 2 Parameters`
221			`#`
222			`CONFIG_CONT0_CAP_CUSTOM2_USE=n`
223
224
225			`#`
226			`# Container 0 Custom Capability 3 Parameters`
227			`#`
228			`CONFIG_CONT0_CAP_CUSTOM3_USE=n`
229
230
231
232			`#`
233			`# Container 0 Devices (Capabilities)`
234			`#`
235
236			`#`
237			`# Container 0 UART1 Menu`
238			`#`
239			`CONFIG_CONT0_CAP_DEVICE_UART1_USE=n`
240
241
242			`#`
243			`# Container 0 UART2 Menu`
244			`#`
245			`CONFIG_CONT0_CAP_DEVICE_UART2_USE=n`
246
247
248			`#`
249			`# Container 0 UART3 Menu`
250			`#`
251			`CONFIG_CONT0_CAP_DEVICE_UART3_USE=n`
252
253
254			`#`
255			`# Container 0 TIMER23 Menu`
256			`#`
257			`CONFIG_CONT0_CAP_DEVICE_TIMER1_USE=n`
258
259
260
261
262
263
264			`#`
265			`# Derived symbols`
266			`#`
267			`CONFIG_DEBUG_PERFMON_KERNEL=n`
268			`CONFIG_CONT1_PAGER_LOAD_ADDR=0x1100000`
269			`CONFIG_DRIVER_IRQ_PL190=y`
270			`CONFIG_DRIVER_TIMER_SP804=y`
271			`CONFIG_CONT2_START_PC_ADDR=0xc0000000`
272			`CONFIG_CONT3_START_PC_ADDR=0xd0000000`
273			`CONFIG_DRIVER_IRQ_GIC=n`
274			`CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000`
275			`CONFIG_RAM_BASE_PLAT=0`
276			`CONFIG_DRIVER_INTC_OMAP=n`
277			`CONFIG_CONT2_PAGER_LOAD_ADDR=0x2100000`
278			`CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000`
279			`CONFIG_CONT3_PAGER_LOAD_ADDR=0x3100000`
280			`CONFIG_SUBARCH_V5=y`
281			`CONFIG_SUBARCH_V7=n`
282			`CONFIG_SUBARCH_V6=n`
283			`CONFIG_DRIVER_TIMER_OMAP=n`
284			`CONFIG_CONT0_PAGER_LOAD_ADDR=0x200000`
285			`CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000`
286			`CONFIG_DRIVER_UART_OMAP=n`
287			`CONFIG_DRIVER_UART_PL011=y`
288			`CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000`
289			`CONFIG_CONT0_START_PC_ADDR=0xa0008000`
290			`CONFIG_CONT1_START_PC_ADDR=0xb0000000`
291			`#`
292			`# That's all, folks!`