Added an example test container configuration

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!