Port-arm archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Raspberry Pi and 6.1 RC1?



On Sun, Feb 24, 2013 at 07:24:50PM +0100, Hubert Feyrer wrote:
> 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?

That would be my understanding - unfortunately, only the netbsd kernel
is available from the official ftp site and I am a bit reluctant
trying to compile a kernel myself. So my hope would be that subsequent
RCs and the 6.1 release will also include the pre-compiled kernel.img
for the Raspberry Pi.


Christof

-- 

http://cmeerw.org                              sip:cmeerw at cmeerw.org
mailto:cmeerw at cmeerw.org                   xmpp:cmeerw at cmeerw.org


Home | Main Index | Thread Index | Old Index