# # Automatically generated, don't edit # # Generated on: bahadir-laptop # At: Mon, 31 May 2010 17:04:09 +0000 # Linux version 2.6.31-21-generic (buildd@rothera) (gcc version 4.4.1 (Ubuntu 4.4.1-4ubuntu9) ) #59-Ubuntu SMP Wed Mar 24 07:28:56 UTC 2010 # # Codezero Microkernel Configurator # # # Main architecture # CONFIG_ARCH_ARM=y # # ARM Architecture Configuration # # # ARM Platform Type # CONFIG_PLATFORM_PB926=y CONFIG_PLATFORM_PBA9=n CONFIG_PLATFORM_BEAGLE=n CONFIG_PLATFORM_EB=n # # 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 CONFIG_DEBUG_SPINLOCKS=n CONFIG_SCHED_TICKS=1000 # # Toolchain Prefix # CONFIG_TOOLCHAIN_USERSPACE="arm-none-linux-gnueabi-" CONFIG_TOOLCHAIN_KERNEL="arm-none-eabi-" # # Container Setup # CONFIG_CAPABILITIES=y CONFIG_CONTAINERS=2 # # 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 Pager Linker 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 Pager Physical Memory Regions (Capabilities) # CONFIG_CONT0_PAGER_PHYSMEM_REGIONS=1 CONFIG_CONT0_PAGER_PHYS0_START=0x100000 CONFIG_CONT0_PAGER_PHYS0_END=0xe00000 # # Container 0 Pager Virtual Memory Regions (Capabilities) # CONFIG_CONT0_PAGER_VIRTMEM_REGIONS=4 CONFIG_CONT0_PAGER_VIRT0_START=0xa0000000 CONFIG_CONT0_PAGER_VIRT0_END=0xb0000000 CONFIG_CONT0_PAGER_VIRT1_START=0x80000000 CONFIG_CONT0_PAGER_VIRT1_END=0x88000000 CONFIG_CONT0_PAGER_VIRT2_START=0x40000000 CONFIG_CONT0_PAGER_VIRT2_END=0x50000000 CONFIG_CONT0_PAGER_VIRT3_START=0xf8100000 CONFIG_CONT0_PAGER_VIRT3_END=0xf8200000 # # Container 0 Pager Capabilities # # # Container 0 Thread Pool Capability # CONFIG_CONT0_PAGER_CAP_THREADPOOL_USE=y CONFIG_CONT0_PAGER_CAP_THREADPOOL_SIZE=64 # # Container 0 Space Pool Capability # CONFIG_CONT0_PAGER_CAP_SPACEPOOL_USE=y CONFIG_CONT0_PAGER_CAP_SPACEPOOL_SIZE=64 # # Container 0 Mutex Pool Capability # CONFIG_CONT0_PAGER_CAP_MUTEXPOOL_USE=y CONFIG_CONT0_PAGER_CAP_MUTEXPOOL_SIZE=100 # # Container 0 Map Pool Capability # CONFIG_CONT0_PAGER_CAP_MAPPOOL_USE=y CONFIG_CONT0_PAGER_CAP_MAPPOOL_SIZE=800 # # Container 0 IPC Capability # CONFIG_CONT0_PAGER_CAP_IPC_USE=y CONFIG_CONT0_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER=y CONFIG_CONT0_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n CONFIG_CONT0_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER=n CONFIG_CONT0_PAGER_CAP_IPC_TARGET_OTHER_PAGER=n # # Container 0 IRQ Control Capability # CONFIG_CONT0_PAGER_CAP_IRQCTRL_USE=y # # Container 0 Custom Capability 0 Parameters # CONFIG_CONT0_PAGER_CAP_CUSTOM0_USE=n # # Container 0 Custom Capability 1 Parameters # CONFIG_CONT0_PAGER_CAP_CUSTOM1_USE=n # # Container 0 Custom Capability 2 Parameters # CONFIG_CONT0_PAGER_CAP_CUSTOM2_USE=n # # Container 0 Custom Capability 3 Parameters # CONFIG_CONT0_PAGER_CAP_CUSTOM3_USE=n # # Container 0 Global Capabilities # # # 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_OTHER_CONTAINER=n CONFIG_CONT0_CAP_IPC_TARGET_OTHER_PAGER=n # # Container 0 Mutex Pool Capability # CONFIG_CONT0_CAP_MUTEXPOOL_USE=y CONFIG_CONT0_CAP_MUTEXPOOL_SIZE=100 # # 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 Pager Linker 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 Pager Physical Memory Regions (Capabilities) # CONFIG_CONT1_PAGER_PHYSMEM_REGIONS=1 CONFIG_CONT1_PAGER_PHYS0_START=0x1100000 CONFIG_CONT1_PAGER_PHYS0_END=0x1e00000 # # Container 1 Pager Virtual Memory Regions (Capabilities) # CONFIG_CONT1_PAGER_VIRTMEM_REGIONS=4 CONFIG_CONT1_PAGER_VIRT0_START=0xb0000000 CONFIG_CONT1_PAGER_VIRT0_END=0xc0000000 CONFIG_CONT1_PAGER_VIRT1_START=0x88000000 CONFIG_CONT1_PAGER_VIRT1_END=0x90000000 CONFIG_CONT1_PAGER_VIRT2_START=0x50000000 CONFIG_CONT1_PAGER_VIRT2_END=0x60000000 CONFIG_CONT1_PAGER_VIRT3_START=0xf8200000 CONFIG_CONT1_PAGER_VIRT3_END=0xf8300000 # # Container 1 Pager Capabilities # # # Container 1 Thread Pool Capability # CONFIG_CONT1_PAGER_CAP_THREADPOOL_USE=y CONFIG_CONT1_PAGER_CAP_THREADPOOL_SIZE=64 # # Container 1 Space Pool Capability # CONFIG_CONT1_PAGER_CAP_SPACEPOOL_USE=y CONFIG_CONT1_PAGER_CAP_SPACEPOOL_SIZE=64 # # Container 1 Mutex Pool Capability # CONFIG_CONT1_PAGER_CAP_MUTEXPOOL_USE=y CONFIG_CONT1_PAGER_CAP_MUTEXPOOL_SIZE=100 # # Container 1 Map Pool Capability # CONFIG_CONT1_PAGER_CAP_MAPPOOL_USE=y CONFIG_CONT1_PAGER_CAP_MAPPOOL_SIZE=800 # # Container 1 IPC Capability # CONFIG_CONT1_PAGER_CAP_IPC_USE=y CONFIG_CONT1_PAGER_CAP_IPC_TARGET_CURRENT_CONTAINER=y CONFIG_CONT1_PAGER_CAP_IPC_TARGET_CURRENT_PAGER_SPACE=n CONFIG_CONT1_PAGER_CAP_IPC_TARGET_OTHER_CONTAINER=n CONFIG_CONT1_PAGER_CAP_IPC_TARGET_OTHER_PAGER=n # # Container 1 IRQ Control Capability # CONFIG_CONT1_PAGER_CAP_IRQCTRL_USE=y # # Container 1 Custom Capability 0 Parameters # CONFIG_CONT1_PAGER_CAP_CUSTOM0_USE=n # # Container 1 Custom Capability 1 Parameters # CONFIG_CONT1_PAGER_CAP_CUSTOM1_USE=n # # Container 1 Custom Capability 2 Parameters # CONFIG_CONT1_PAGER_CAP_CUSTOM2_USE=n # # Container 1 Custom Capability 3 Parameters # CONFIG_CONT1_PAGER_CAP_CUSTOM3_USE=n # # Container 1 Global Capabilities # # # 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_OTHER_CONTAINER=n CONFIG_CONT1_CAP_IPC_TARGET_OTHER_PAGER=n # # Container 1 Mutex Pool Capability # CONFIG_CONT1_CAP_MUTEXPOOL_USE=y CONFIG_CONT1_CAP_MUTEXPOOL_SIZE=100 # # Derived symbols # CONFIG_CONT3_START_PC_ADDR=0xd0000000 CONFIG_DEBUG_PERFMON_KERNEL=n CONFIG_CONT1_PAGER_LOAD_ADDR=0x1100000 CONFIG_RAM_BASE_PLAT=0 CONFIG_CONT2_START_PC_ADDR=0xc0000000 CONFIG_CONT2_PAGER_VIRT_ADDR=0xc0000000 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_CONT0_PAGER_LOAD_ADDR=0x100000 CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000 CONFIG_CONT3_PAGER_VIRT_ADDR=0xd0000000 CONFIG_CONT0_START_PC_ADDR=0xa0000000 CONFIG_CONT1_START_PC_ADDR=0xb0000000 # # That's all, folks!