Port-arm archive

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

Re: Raspberry Pi update please.

On 01/07/13 00:02, Jun Ebihara wrote:

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


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


Home | Main Index | Thread Index | Old Index