From f4c9ea50bcc9b908fed9fc14b8fc9493c73e8690 Mon Sep 17 00:00:00 2001 From: Bahadir Balban Date: Fri, 23 Oct 2009 12:32:53 +0300 Subject: [PATCH] Added an example test container configuration --- config/cml/examples/test/config.cml | 114 ++++++++++++++++++++++++++++ 1 file changed, 114 insertions(+) create mode 100644 config/cml/examples/test/config.cml diff --git a/config/cml/examples/test/config.cml b/config/cml/examples/test/config.cml new file mode 100644 index 0000000..5f1180d --- /dev/null +++ b/config/cml/examples/test/config.cml @@ -0,0 +1,114 @@ +# +# Automatically generated, don't edit +# +# Generated on: bahadir-laptop +# At: Fri, 23 Oct 2009 09:24:42 +0000 +# Linux version 2.6.24-22-generic (buildd@vernadsky) (gcc version 4.2.3 (Ubuntu 4.2.3-2ubuntu7)) #1 SMP Mon Nov 24 18:32:42 UTC 2008 + +# +# 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_AB926=n +CONFIG_PLATFORM_PB926=y + + + +# +# Platform Drivers +# +CONFIG_DRIVER_UART_PL011=y +CONFIG_DRIVER_TIMER_SP804=y +CONFIG_DRIVER_IRQ_PL190=y + + +CONFIG_CONTAINERS=1 + +# +# Container Setup +# + +# +# Container 0 Parameters +# + +# +# Container 0 Type +# +CONFIG_CONT0_TYPE_LINUX=n +CONFIG_CONT0_TYPE_BARE=n +CONFIG_CONT0_TYPE_POSIX=n +CONFIG_CONT0_TYPE_TEST=y + + +# +# Container 0 Options +# +CONFIG_CONT0_OPT_NAME="caps" + +# +# Container 0 Default Pager Parameters +# +CONFIG_CONT0_PAGER_LMA=0x40000 +CONFIG_CONT0_PAGER_VMA=0x10000000 +CONFIG_CONT0_PAGER_SIZE=0x40000 + + +# +# Container 0 Physical Memory Regions +# +CONFIG_CONT0_PHYSMEM_REGIONS=1 +CONFIG_CONT0_PHYS0_START=0x40000 +CONFIG_CONT0_PHYS0_END=0x200000 + + +# +# Container 0 Virtual Memory Regions +# +CONFIG_CONT0_VIRTMEM_REGIONS=1 +CONFIG_CONT0_VIRT0_START=0x10000000 +CONFIG_CONT0_VIRT0_END=0x20000000 + + + + + +# +# That's all, folks!