Subversion Repositories c0or1k

#

# Automatically generated, don't edit

#

# Generated on: amit-laptop

# At: Fri, 04 Dec 2009 05:31:11 +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=1

#

# Container Setup

#

CONFIG_CAPABILITIES=y

#

# 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=n

CONFIG_CONT0_BAREMETAL_PROJ_UART_SERVICE=n

CONFIG_CONT0_BAREMETAL_PROJ_TIMER_SERVICE=n

#

# Container 0 Default Pager Parameters

#

CONFIG_CONT0_PAGER_LMA=0x100000

CONFIG_CONT0_PAGER_VMA=0xa0000000

#

# 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=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 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_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="baremetal_noname1"

CONFIG_baremetal0="hello_world0"

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!