Example cml files updated for new default memory region assignments

config/cml/examples/linux/config.cml

@@ -2,7 +2,7 @@
 # Automatically generated, don't edit
 #
 # Generated on: amit-laptop
-# At: Wed, 21 Oct 2009 18:22:52 +0000
+# At: Fri, 04 Dec 2009 05:32:36 +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
 
 #
@@ -46,24 +46,23 @@ CONFIG_CPU_ARM926=y
 # 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
 
+#
+# Toolchain Prefix
+#
+CONFIG_TOOLCHAIN_KERNEL="arm-none-eabi-"
+CONFIG_TOOLCHAIN_USER="arm-none-linux-gnueabi-"
 
 CONFIG_CONTAINERS=1
 
 #
 # Container Setup
 #
+CONFIG_CAPABILITIES=y
 
 #
 # Container 0 Parameters
@@ -72,9 +71,9 @@ CONFIG_CONTAINERS=1
 #
 # Container 0 Type
 #
-CONFIG_CONT0_TYPE_LINUX=y
-CONFIG_CONT0_TYPE_BARE=n
+CONFIG_CONT0_TYPE_BAREMETAL=n
 CONFIG_CONT0_TYPE_POSIX=n
+CONFIG_CONT0_TYPE_LINUX=y
 
 
 #
@@ -85,30 +84,188 @@ CONFIG_CONT0_OPT_NAME="linux0"
 #
 # Container 0 Linux Pager Parameters
 #
-CONFIG_CONT0_LINUX_ZRELADDR=0x208000
-CONFIG_CONT0_LINUX_PAGE_OFFSET=0xc0000000
-CONFIG_CONT0_LINUX_PHYS_OFFSET=0x200000
-CONFIG_CONT0_LINUX_ROOTFS_ADDRESS=0x1000000
+CONFIG_CONT0_LINUX_PHYS_OFFSET=0x100000
+CONFIG_CONT0_LINUX_ZRELADDR=0x108000
+CONFIG_CONT0_LINUX_ROOTFS_ADDRESS=0x600000
+CONFIG_CONT0_LINUX_PAGE_OFFSET=0xa0000000
 
 
 #
-# Container 0 Physical Memory Regions
+# Container 0 Physical Memory Regions (Capabilities)
 #
 CONFIG_CONT0_PHYSMEM_REGIONS=1
-CONFIG_CONT0_PHYS0_START=0x200000
-CONFIG_CONT0_PHYS0_END=0x2200000
+CONFIG_CONT0_PHYS0_START=0x100000
+CONFIG_CONT0_PHYS0_END=0xe00000
 
 
 #
-# Container 0 Virtual Memory Regions
+# Container 0 Virtual Memory Regions (Capabilities)
 #
 CONFIG_CONT0_VIRTMEM_REGIONS=1
-CONFIG_CONT0_VIRT0_START=0xc0000000
-CONFIG_CONT0_VIRT0_END=0xd0000000
+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="empty0"
+CONFIG_baremetal3="baremetal_noname3"
+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!