2009-03-23  John Dallaway  <john@dallaway.org.uk>

	* include/hal_platform_setup.h: Tweak LED manipulation routines to
	allow building for Thumb.

2009-01-31  Bart Veer <bartv@ecoscentric.com>

	* cdl/hal_arm_at91_eb42.cdl: update compiler flags for gcc 4.x

2009-01-24  Bart Veer <bartv@ecoscentric.com>

	* cdl/hal_arm_at91_eb42.cdl: switch from arm-elf-gcc to
	arm-eabi-gcc. Remove -mno-short-load-words.

2004-09-16  Andrea Michelotti <amichelotti@atmel.com>

	* include/hal_platform_ints.h: When CYGHWR_HAL_ARM_AT91_FIQ is defined 
	  CYGNUM_HAL_ISR_MIN is equal to zero.
	
2004-08-30  Thomas Koeller <thomas.koeller@baslerweb.com>

	* cdl//hal_arm_at91_eb42.cdl: Undid last change. These
	options are not really common among all platforms.

2004-02-12  Jani Monoses <jani@iv.ro>

	* cdl/hal_arm_at91_eb42.cdl: Move configuration options 
	common to all AT91 EB boards up to AT91 variant .cdl.
	
2003-12-16  Gary Thomas  <gary@mlbassoc.com>

	* misc/redboot_ROMRAM.ecm: 
	CYGNUM_FLASH_WORKSPACE_SIZE is no longer used.

2003-09-30 Jani Monoses <jani@iv.ro> 

	* cdl/hal_arm_at91_eb42.cdl: Interfaces are already implemented by
	AT91 variant .cdl, do not duplicate them here.
	
2003-07-15  Jonathan Larmour  <jifl@eCosCentric.com>

	* include/hal_platform_ints.h (HAL_PLATFORM_RESET): Actually use
	hal_at91_reset_cpu().

2003-05-12  Nick Garnett  <nickg@balti.calivar.com>

	* cdl/hal_arm_at91_eb42.cdl: 
	* include/plf_io.h: 
	* include/hal_platform_ints.h: 
	* include/hal_platform_setup.h: 
	* include/pkgconf/mlt_arm_at91_eb42_ram.ldi: 
	* include/pkgconf/mlt_arm_at91_eb42_ram.h: 
	* include/pkgconf/mlt_arm_at91_eb42_rom.ldi: 
	* include/pkgconf/mlt_arm_at91_eb42_rom.h: 
	* include/pkgconf/mlt_arm_at91_eb42_romram.ldi: 
	* include/pkgconf/mlt_arm_at91_eb42_romram.h: 
	* src/eb42_misc.c: 
	New HAL added to support the Atmel EB42 board. Adapted from the
	EB40 and EB40A HALs by Thomas Koeller and Tim Drury.

//===========================================================================
// ####GPLCOPYRIGHTBEGIN####                                                
// -------------------------------------------                              
// This file is part of eCos, the Embedded Configurable Operating System.   
// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2009 Free Software Foundation, Inc.
//
// This program 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.                                                           
//
// This program 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 this program; if not, write to the                            
// Free Software Foundation, Inc., 51 Franklin Street,                      
// Fifth Floor, Boston, MA  02110-1301, USA.                                
// -------------------------------------------                              
// ####GPLCOPYRIGHTEND####                                                  
//===========================================================================