Subject: Re: trying to boot on ADI coyote
To: Franck Baudin <firstname.lastname@example.org>
From: Steve Woodford <email@example.com>
Date: 12/04/2003 17:29:09
Just noticed something else...
> The problem is that netbsd IXDP425 kernel is configured to be loaded
> at 0x10200000 (KERNEL_BASE_phys = 0x10200000), and this address is
> invalid on coyote. So I rebuild netbsd t be loaded at a lower address
That address *is* valid on the Coyote. At least, my Coyote reports the
following on powerup:
RAM: 0x10000000-0x12000000, 0x10115668-0x11fdd000 available
And, in fact, I use 0x10200000 here for KERNEL_BASE_PHYS on the board.