Steve Woodford wrote:

>This is true. However, there is *always* an alias of SDRAM starting at 
>0x10000000 (the ixp425 can have a maximum of 256MB SDRAM). So I suggest 
>changing KERNEL_BASE_PHYS to 0x00200000.
>
>The kernel is actually much happier running out of the SDRAM alias at 
>0x10000000. See the comment near the end of cpu_reboot() in 
>{ixdp425,coyote}_machdep.c.
>  
>
OK, I changed  KERNEL_BASE_PHYS to 0x00200000 in mk.ixdp425 and in 
ixdp425_start.S :
    Ltable:
    /*      .word   0x10200000 - 0x4000 */
            .word   0x00200000 - 0x4000

I rebuilt kernel with :
    ./build.sh -a armeb -m evbarm kernel=IXDP425

And then I tried it :
    RAM: 0x00000000-0x04000000, 0x0001f960-0x03fd1000 available
    FLASH: 0x50000000 - 0x51000000, 128 blocks of 0x00020000 bytes each.
    RedBoot> load -r -b 0x00200000 -h 10.16.18.145 netbsd.bin
    Using default protocol (TFTP)
    Raw file loaded 0x00200000-0x004b3cd3, assumed entry at 0x00200000
    RedBoot> go
    [ the card doesn't respond anymore ...]

Perhaps should I try to reconfigure redboot to alias memory at 0x10000000 ?

Cheers, Franck.