Subject: Re: TADPOLE3GX kernel problems
To: Norberto Navarro <>
From: Soren S. Jorvang <>
List: current-users
Date: 08/03/1999 01:52:27
On Mon, Aug 02, 1999 at 07:45:14PM -0400, Norberto Navarro wrote:
> I updated my install with the latest sparc snapshot, got sources through
> cvs and tried to compiled a new kernel with the TADPOLE3GX config script.
> It compile, but it wont boot:
> "Booting netbsd @ 0x4000
> Bad format
> Program terminated

Having just installed NetBSD on my 3GS but not having following
the /sparc ELF transition closely, I think you need a newer
boot loader.

I used the one from the latest snapshot's miniroot image.