Dear Stefan Roese,

In message 201112010918.56296.sr@denx.de you wrote:

Hi Wolfgang,

please pull these patches which have been pending for quite a while:

The following changes since commit a63d9652757605ec5f7104addc5d38bf10ba8671:

menu.c: use puts() instead of printf() where possible (2011-11-28 20:19:41 +0100)

are available in the git repository at: git://www.denx.de/git/u-boot-ppc4xx.git master

Dirk Eibach (1): ppc4xx: Add Io64 board support

Matthias Fuchs (3): ppc4xx: use CONFIG_PCI_BOOTDELAY instead of private implementation ppc4xx: remove invalid access to PCI_BRDGOPT2 register ppc4xx: fix PMC440 painit command

MAINTAINERS | 1 + board/esd/pmc440/cmd_pmc440.c | 17 +- board/esd/pmc440/pmc440.c | 17 -- board/gdsys/405ex/405ex.c | 250 +++++++++++++++++ board/gdsys/405ex/405ex.h | 10 + board/gdsys/405ex/Makefile | 53 ++++ board/gdsys/405ex/chip_config.c | 96 +++++++ board/gdsys/405ex/io64.c | 384 ++++++++++++++++++++++++++ board/gdsys/common/Makefile | 1 + board/gdsys/common/miiphybb.c | 58 ++++- boards.cfg | 1 + include/configs/PMC440.h | 2 + include/configs/io64.h | 566 +++++++++++++++++++++++++++++++++++++++ include/gdsys_fpga.h | 19 ++ 14 files changed, 1448 insertions(+), 27 deletions(-) create mode 100644 board/gdsys/405ex/405ex.c create mode 100644 board/gdsys/405ex/405ex.h create mode 100644 board/gdsys/405ex/Makefile create mode 100644 board/gdsys/405ex/chip_config.c create mode 100644 board/gdsys/405ex/io64.c create mode 100644 include/configs/io64.h

Applied, thanks.

Best regards,

Wolfgang Denk