--+b2GFy/wpzNn/yIF
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Salut,

On Fri, Feb 24, 2006 at 11:33:37AM +0000, Steve Woodford wrote:
> gzboot does not replace redboot. You generate a kernel image thusly:
>=20
> % gzip -v9 netbsd.bin
> % cat gzboot netbsd.bin.gz > netbsd.img
>=20
> Use RedBoot to burn netbsd.img into Flash, then "go <img-address>".=20
> gzboot will decompress the appended kernel image into SDRAM then jump to=
=20
> it.

Ah, ok, I got that wrong.

Still, there doesn't seem to be a gzboot image for IXDP425 per default. So
should I create one?

				Tonnerre

--+b2GFy/wpzNn/yIF
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.1 (NetBSD)

iQIVAwUBQ/7wqu1mMGan/TnWAQLlbQ//adHxOx3GUaEhKlA8WWgVVcyQNYeMjjOC
iq/kKA7Nb9Ii0zfFIXediWnZuOOliJRhZtrVNQj5iQkFMFuU4Z75C3uGWY5ED8gL
v7Nd70gJRUv+/7fQdsy9E9x+qKAVS9ruqiozM1fswUoH26paFGjy7rZoidiNuimz
8fLej33gJ5uXtn85BBxFtKeHlNHq8XPaXM1n6BSC4bzw7Nu4RrI3cSTYH4N2hKna
ioKKc/RxTG+lNrtwqC5D2dtbWxwEj06HCNcCmm2I2Rr1kk+SY/RIAMQmg4d8JW+A
IWOKVAM2GWLn3Dyhpp3baoW1x3QY48WeP16fPiPiU6U1tks03V7sAgEKQCw58PPo
TYpZV4et/GjY85fX65qveveSLsnkNlDjVOoc6AGpunJ54jbOCeZGrUpuusITH6D0
xkImVIk3GV4Sv7/r0kn96zSbb3sqKc9CUDBPa3odyDZzAYiyT8ZW9MRODpZrwR2M
cJa9Aww3ZD1gO14zZm6y8uMoYBKKhGdk0g9U8MiO4d80hd8PdF7sgGTkWnITBSm+
Y8vDJAdvjwdaYmc3Gui+dlha1f2Sv4ZK/IHtfim0aB5sFUXetD8mbt2zqa0IkoWh
ihUYl5wU5h2A4dB28HfVZPFR1ZkqekUUYv/ol3dhxcLk/5yUQqzIwdgKlJuifp5W
/Y5YO5AxktM=
=XCbg
-----END PGP SIGNATURE-----

--+b2GFy/wpzNn/yIF--