Hi guys.

I got an XDP425 board, an Avila GW2348-4 Network Platform boards from:
http://www.gateworks.com/avila_gw2348_4.htm
I read thread started by Franck Baudin at 
http://comments.gmane.org/gmane.os.netbsd.ports.arm/804
where he succeded booting NetBSD on an XDP425 board.

I followed his summary, compiled a new kernel but it does not boot.
Redboot shows :
Trying NPE-B...success. Using NPE-B with PHY 0.
... waiting for BOOTP information
Ethernet eth0: MAC address 00:d0:12:02:35:30
IP: 192.168.3.20/255.255.255.0, Gateway: 192.168.3.10
Default server: 192.168.3.10

RedBoot(tm) bootstrap and debug environment [ROM]
Gateworks certified release, version 2.02 - built 05:22:19, Mar  3 2006

Platform: Gateworks Avila GW234X (IXP42X 533MHz) BE
Copyright (C) 2000, 2001, 2002, 2003, 2004 Red Hat, Inc.
Copyright (C) 2004, 2005 Gateworks Corporation

RAM: 0x00000000-0x04000000, [0x000298b0-0x03fc1000] available
FLASH: 0x50000000 - 0x51000000, 128 blocks of 0x00020000 bytes each.
== Executing boot script in 2.500 seconds - enter ^C to abort
^C
RedBoot> load -r -b 0x00200000 kernel
Using default protocol (TFTP)
Raw file loaded 0x00200000-0x00565eb2, assumed entry at 0x00200000
RedBoot> go
$T050f:00200000;0d:03fc0fec;#d9

The board came with preinstalled Linux and fis list shows me :

RedBoot> fis list
Name              FLASH addr  Mem addr    Length      Entry point
RedBoot           0x50000000  0x50000000  0x00080000  0x00000000
zimage            0x50080000  0x01600000  0x00140000  0x00800000
ramdisk           0x501C0000  0x00800000  0x00320000  0x00800000
FIS directory     0x50FE0000  0x50FE0000  0x0001F000  0x00000000
RedBoot config    0x50FFF000  0x50FFF000  0x00001000  0x00000000

I can boot the bzimage using memory address 0x01600000.

Am I wrong using 0x00200000 to boot the kernel ?
I am not sure what memory address use here.
Would I also have to compress the kernel image in order to boot it on
my board?
I am very fresh when it comes to non-x86 platforms and redboot but I'd
love to create a XScale port for wifibsd.org 

Toolchain was compiled with following command:
./build.sh -O /usr/obj/ -T /usr/tools-arm -a armeb -m evbarm tools
And the kernel:
./build.sh -O /usr/obj/ -T /usr/tools-arm -a armeb -m evbarm
kernel=IXDP425

I also altered all the files listed in the email and I tried kernel
compiled with console port number 0 or 1.


Thanks in advance,
Marcin.

--