On Sun, 24 Feb 2013, Andy Ruhl wrote:
release it is I'm using. The config file for the kernel is: /usr/src/sys/arch/evbarm/conf/RPI (assuming you put src in /usr)
Building this with build.sh gives both a "netbsd" kernel, and a "kernel.img" file. Can you go a bit into the details of the actual kernel upgrade? What file to use, where to put it?
Wild guess: put the kernel.img file on the MSDOS-formatted SD-Card? - Hubert