--- a/packages/hal/arm/arch/current/cdl/hal_arm.cdl
+++ b/packages/hal/arm/arch/current/cdl/hal_arm.cdl
@@ -5,29 +5,38 @@
 #      ARM architectural HAL package configuration data
 #
 # ====================================================================
-#####COPYRIGHTBEGIN####
-#                                                                          
-# -------------------------------------------                              
-# The contents of this file are subject to the Red Hat eCos Public License 
-# Version 1.1 (the "License"); you may not use this file except in         
-# compliance with the License.  You may obtain a copy of the License at    
-# http://www.redhat.com/                                                   
-#                                                                          
-# Software distributed under the License is distributed on an "AS IS"      
-# basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See the 
-# License for the specific language governing rights and limitations under 
-# the License.                                                             
-#                                                                          
-# The Original Code is eCos - Embedded Configurable Operating System,      
-# released September 30, 1998.                                             
-#                                                                          
-# The Initial Developer of the Original Code is Red Hat.                   
-# Portions created by Red Hat are                                          
-# Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.                             
-# All Rights Reserved.                                                     
-# -------------------------------------------                              
-#                                                                          
-#####COPYRIGHTEND####
+#####ECOSGPLCOPYRIGHTBEGIN####
+# -------------------------------------------
+# This file is part of eCos, the Embedded Configurable Operating System.
+# Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc.
+#
+# eCos is free software; you can redistribute it and/or modify it under
+# the terms of the GNU General Public License as published by the Free
+# Software Foundation; either version 2 or (at your option) any later version.
+#
+# eCos is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+# for more details.
+#
+# You should have received a copy of the GNU General Public License along
+# with eCos; if not, write to the Free Software Foundation, Inc.,
+# 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
+#
+# As a special exception, if other files instantiate templates or use macros
+# or inline functions from this file, or you compile this file and link it
+# with other works to produce a work based on this file, this file does not
+# by itself cause the resulting work to be covered by the GNU General Public
+# License. However the source code for this file must still be made available
+# in accordance with section (3) of the GNU General Public License.
+#
+# This exception does not invalidate any other reasons why a work based on
+# this file might be covered by the GNU General Public License.
+#
+# Alternative licenses for eCos may be arranged by contacting Red Hat, Inc.
+# at http://sources.redhat.com/ecos/ecos-license
+# -------------------------------------------
+#####ECOSGPLCOPYRIGHTEND####
 # ====================================================================
 ######DESCRIPTIONBEGIN####
 #
@@ -179,6 +188,71 @@ cdl_package CYGPKG_HAL_ARM {
            will no longer work."
     }
 
+    cdl_option CYGHWR_HAL_ARM_ICE_THREAD_SUPPORT {
+        display          "Support GDB thread operations via ICE/Multi-ICE"
+        default_value    0
+        requires         CYGDBG_HAL_DEBUG_GDB_INCLUDE_STUBS
+        requires         CYGDBG_HAL_DEBUG_GDB_THREAD_SUPPORT
+        requires         CYGDBG_KERNEL_DEBUG_GDB_THREAD_SUPPORT
+        description      "
+           Allow GDB to get thread information via the ICE/Multi-ICE
+           connection."
+    }
+
+    cdl_option CYGOPT_HAL_ARM_SYSCALL_GPROF_SUPPORT {
+	display		"Support for 'gprof' callbacks"
+	calculated	1
+	no_define
+	active_if	CYGSEM_REDBOOT_BSP_SYSCALLS
+	active_if	{ CYGDBG_HAL_DEBUG_GDB_CTRLC_SUPPORT || CYGDBG_HAL_DEBUG_GDB_BREAK_SUPPORT }
+	implements	CYGINT_REDBOOT_BSP_SYSCALLS_GPROF_SUPPORT
+	description	"
+	    The ARM HAL provides the macro for 'gprof' callbacks from RedBoot
+	    to acquire the interrupt-context PC and SP, when this option is
+            active."
+    }
+
+    cdl_component CYGPKG_REDBOOT_ARM_OPTIONS {
+        display       "Redboot for ARM options"
+        flavor        none
+        no_define
+        parent        CYGPKG_REDBOOT
+        active_if     CYGPKG_REDBOOT
+        description   "
+            This option lists the target's requirements for a valid Redboot
+            configuration."
+
+        cdl_option CYGSEM_REDBOOT_ARM_LINUX_BOOT {
+            display        "Support booting Linux via RedBoot"
+            flavor         bool
+            default_value  0
+            description    "
+               This option enables RedBoot to support booting of a Linux kernel."
+
+            compile -library=libextras.a redboot_linux_exec.c
+        }
+
+        cdl_option CYGHWR_REDBOOT_ARM_LINUX_EXEC_ADDRESS {
+            display       "Linux execution address"
+            flavor        data
+            default_value CYGHWR_REDBOOT_ARM_LINUX_EXEC_ADDRESS_DEFAULT
+            description   "
+                This is the physical address where Linux expects to be started
+                from."
+        }
+
+        cdl_option CYGHWR_REDBOOT_ARM_LINUX_EXEC_ADDRESS_DEFAULT {
+            display       "Linux execution address"
+            flavor        data
+            default_value 0x00008000
+            no_define
+            description   "
+                This is the physical address where Linux expects to be started
+                from. This option gets set by the platform CDL."
+        }
+
+    }
+
     cdl_option CYGBLD_LINKER_SCRIPT {
         display "Linker script"
         flavor data