[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.
- 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
- 512M model support?
I'll update snapshot.
I'll create one with a more interesting kernel ;)
Main Index |
Thread Index |