Re: Installing on Raspberry Pi

[Nick Hudson <skrll%netbsd.org@localhost>]

On Tuesday 28 August 2012 18:27:57 Andreas Gustafsson wrote:
> Nick,
> 
> On August 19, you wrote:
> >     ftp://ftp.netbsd.org/pub/NetBSD/misc/skrll/rpi-netbsd-6.img.gz
> 
> I'd like to try a -current kernel - how do I create one in the
> appropriate format to replace the existing one in the SD card image?
> The kernel that gets built by "build.sh kernel=RPI" is ELF, but
> kernel.img on the SD card looks like a different format.

There will be a 'kernel.img' in your build directory as well as the elf 
'netbsd'.

Nick