From ae2ac9552bbdfd67d20d2ac2c96454e26d45e904 Mon Sep 17 00:00:00 2001
From: Bahadir Balban <bbalban@b-labs.co.uk>
Date: Mon, 23 Nov 2009 13:24:02 +0200
Subject: [PATCH] Updated posix config files

---
 config/cml/examples/posix/single_posix.cml | 15 +++++++++++++--
 config/cml/examples/posix/two_posix.cml    | 16 +++++++++++++---
 2 files changed, 26 insertions(+), 5 deletions(-)

diff --git a/config/cml/examples/posix/single_posix.cml b/config/cml/examples/posix/single_posix.cml
index 4764f84..8924de7 100644
--- a/config/cml/examples/posix/single_posix.cml
+++ b/config/cml/examples/posix/single_posix.cml
@@ -2,7 +2,7 @@
 # Automatically generated, don't edit
 #
 # Generated on: bahadir-laptop
-# At: Sun, 22 Nov 2009 13:12:33 +0000
+# At: Mon, 23 Nov 2009 11:23:47 +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
 
 #
@@ -74,7 +74,6 @@ CONFIG_CAPABILITIES=y
 #
 CONFIG_CONT0_TYPE_BAREMETAL=n
 CONFIG_CONT0_TYPE_POSIX=y
-CONFIG_CONT0_TYPE_CUSTOM=n
 CONFIG_CONT0_TYPE_LINUX=n
 
 
@@ -235,9 +234,21 @@ CONFIG_CONT0_CAP_CUSTOM3_USE=n
 #
 # Derived symbols
 #
+CONFIG_CONT1_PAGER_LOAD_ADDR=0x40000
 CONFIG_DRIVER_IRQ_PL190=y
 CONFIG_DRIVER_TIMER_SP804=y
+CONFIG_CONT2_START_PC_ADDR=0x90000000
+CONFIG_CONT3_START_PC_ADDR=0x90000000
 CONFIG_DRIVER_IRQ_GIC=n
+CONFIG_CONT2_PAGER_VIRT_ADDR=0x90000000
+CONFIG_CONT2_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT1_PAGER_VIRT_ADDR=0x90000000
+CONFIG_CONT3_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT0_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000
 CONFIG_DRIVER_UART_PL011=y
+CONFIG_CONT3_PAGER_VIRT_ADDR=0x90000000
+CONFIG_CONT0_START_PC_ADDR=0xa0000000
+CONFIG_CONT1_START_PC_ADDR=0x90000000
 #
 # That's all, folks!
diff --git a/config/cml/examples/posix/two_posix.cml b/config/cml/examples/posix/two_posix.cml
index 8cbe1b4..84cbc0f 100644
--- a/config/cml/examples/posix/two_posix.cml
+++ b/config/cml/examples/posix/two_posix.cml
@@ -2,7 +2,7 @@
 # Automatically generated, don't edit
 #
 # Generated on: bahadir-laptop
-# At: Sun, 22 Nov 2009 13:09:52 +0000
+# At: Mon, 23 Nov 2009 11:23:25 +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
 
 #
@@ -74,7 +74,6 @@ CONFIG_CAPABILITIES=y
 #
 CONFIG_CONT0_TYPE_BAREMETAL=n
 CONFIG_CONT0_TYPE_POSIX=y
-CONFIG_CONT0_TYPE_CUSTOM=n
 CONFIG_CONT0_TYPE_LINUX=n
 
 
@@ -240,7 +239,6 @@ CONFIG_CONT0_CAP_CUSTOM3_USE=n
 #
 CONFIG_CONT1_TYPE_BAREMETAL=n
 CONFIG_CONT1_TYPE_POSIX=y
-CONFIG_CONT1_TYPE_CUSTOM=n
 CONFIG_CONT1_TYPE_LINUX=n
 
 
@@ -401,9 +399,21 @@ CONFIG_CONT1_CAP_CUSTOM3_USE=n
 #
 # Derived symbols
 #
+CONFIG_CONT1_PAGER_LOAD_ADDR=0x1000000
 CONFIG_DRIVER_IRQ_PL190=y
 CONFIG_DRIVER_TIMER_SP804=y
+CONFIG_CONT2_START_PC_ADDR=0x90000000
+CONFIG_CONT3_START_PC_ADDR=0x90000000
 CONFIG_DRIVER_IRQ_GIC=n
+CONFIG_CONT2_PAGER_VIRT_ADDR=0x90000000
+CONFIG_CONT2_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT1_PAGER_VIRT_ADDR=0xb0000000
+CONFIG_CONT3_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT0_PAGER_LOAD_ADDR=0x40000
+CONFIG_CONT0_PAGER_VIRT_ADDR=0xa0000000
 CONFIG_DRIVER_UART_PL011=y
+CONFIG_CONT3_PAGER_VIRT_ADDR=0x90000000
+CONFIG_CONT0_START_PC_ADDR=0xa0000000
+CONFIG_CONT1_START_PC_ADDR=0xb0000000
 #
 # That's all, folks!