2005-04-21  David Vrabel  <dvrabel@arcom.com>

	* cdl/hal_arm_xscale_ixp425.cdl: Only require
	CYGHWR_REDBOOT_ARM_LINUX_EXEC_ADDRESS_DEFAULT if the exec command
	is included.

2004-11-05  David Vrabel  <dvrabel@arcom.com>

	* src/ixp425_redboot.c: Put #ifdef CYGPKG_IO_FLASH around flash
	functions so a RedBoot without flash support can be built.

2004-09-27  Mark Salter  <msalter@redhat.com>

	* src/ixp425_pci.c (pci_config): Fix offset handling.

2004-09-02  Mark Salter  <msalter@redhat.com>

	* include/var_io.h: Add externs for hal_flash_{read,program}.
	* include/hal_ixp425.h: Add more register related defines.
	* cdl/hal_arm_xscale_ixp425.cdl: Add little-endian support.
	* src/ixp425_pci.c: Ditto.
	* src/ixp425_redboot.c: New file.

2003-12-05  David Vrabel  <dvrabel@arcom.com>

	* include/hal_diag.h: hal_delay_us() is a C function.

2003-07-18  Nick Garnett  <nickg@balti.calivar.com>

	* cdl/hal_arm_xscale_ixp425.cdl:
        Changed values for CYGNUM_HAL_RTC_NUMERATOR,
        CYGNUM_HAL_RTC_DENOMINATOR and CYGNUM_HAL_RTC_PERIOD to
        "default_value" from "calculated". This makes it easier
        to change these values globally.
        
2003-04-08  Mark Salter  <msalter@redhat.com>

	* include/hal_var_ints.h (CYGHWR_HAL_GDB_PORT_VECTORS_MATCH): Define.

	* src/ixp425_misc.c (hal_interrupt_mask): Mask QM1 interrupt if all
	NPE interrupts are masked.
	(hal_interrupt_unmask): Unmask QM1 if any NPE interrupts unmasked.

	* include/hal_ixp425.h (IXP425_INTR_FIQ_ENC_ST): Fix offset.
 
2003-04-06  Mark Salter  <msalter@redhat.com>

	* src/ixp425_pci.c (cyg_hal_plf_pci_init): Support non-host mode.

2003-02-22  Mark Salter  <msalter@redhat.com>

	* src/ixp425_pci.c (cyg_hal_plf_pci_init): Don't reinit PCI
	controller on warm reset.
	* cdl/hal_arm_xscale_ixp425.cdl: Fix requirement for linux exec
	address.

2003-02-13  Mark Salter  <msalter@redhat.com>

	* include/var_io.h (CYGARC_UNCACHED_ADDRESS): Move uncached area.

2003-02-07  Mark Salter  <msalter@redhat.com>

	* src/ixp425_diag.c: Support platform config of ports used.
	* src/ixp425_misc.c: Ditto.
	* src/ixp425_pci.c: Ditto.
	
	* include/var_io.h: Fix compile errors when building without PCI.

2002-12-19  Mark Salter  <msalter@redhat.com>

	* include/hal_ixp425.h (EXP_BYTE_RD16): New definition.

2002-12-18  Mark Salter  <msalter@redhat.com>

	* src/ixp425_misc.c (hal_interrupt_configure): Fix tests and
	GPIO register selection.

2002-12-17  Mark Salter  <msalter@redhat.com>

	* src/ixp425_pci.c (cyg_hal_plf_pci_init): Fix PCI read/write functions.

//===========================================================================
//####ECOSGPLCOPYRIGHTBEGIN####
// -------------------------------------------
// This file is part of eCos, the Embedded Configurable Operating System.
// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 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####
//===========================================================================
