Re: Raspberry Pi update please.

[Nick Hudson <nick.hudson%gmx.co.uk@localhost>]

On 01/07/13 00:02, Jun Ebihara wrote:
> Hello,
>
> From: Richard Neswold <rich.neswold%gmail.com@localhost>
> Subject: Re: Raspberry Pi update please.
> Date: Sun, 6 Jan 2013 15:06:24 -0600
>
> > The only advertised NetBSD kernel for it is from Oct 13th. Is there a more 
> > recent kernel available (with further support, like USB or video?) I don't have 
> > the expertise to complete the port, but if there's anything I can do to help, 
> > let me know.
>
> Updated kernel is available.
> my status:
> - USB/video support: not yet, watch freebsd-arm

Don't watch there... watch source-changes@ :)

> - boot without uboot: need some documentation/pointer for newbies.
>          -> Write markdown to NetBSD wiki page.

The kernel.img file in the MSDOS partition is loaded by the CPU firmware 
Linux is loaded by the GPU firmware. There's a minimal set of GPU 
firmware files in

        src/external/broadcom/rpi-firmware/dist/

A kernel.img for NetBSD is created when you build the RPI kernel of 
port-evbarm.

> - 512M model support?

It works.

> I'll update snapshot.

I'll create one with a more interesting kernel ;)

> --
> Jun Ebihara

Nick