FreeBSD on RaspberryPi

[Tim Kientzle]

On Nov 24, 2012, at 11:13 AM, Alexander Yerenkow wrote:

> 
> 
> 2012/11/24 Tim Kientzle <kientzle at freebsd.org>
> On Nov 7, 2012, at 8:09 AM, Alexander Yerenkow wrote:
> 
> > > Such experiments was tried by me and others in August; I got framebuffer worked in rca/hdmi; …
> 
> On Nov 8, 2012, at 11:12 PM, Alexander Yerenkow wrote:
> 
> > It was plain current with plain RPIB kernel config, and for graphic you should uncomment there partition about sysconsole; serial then disabled;
> > Also, if you want ethernet - it's ue device, which also worked, but produced hangs for me in past (Hans IIRC already fixed.this).
> > I'll have some time this weekend, feel free to contact me by gtalk or else, I will play around with my rpi with both serials and vide modes.
> 
> Alexander,
> 
> I tried uncommenting the 'sc' entries in the RPI-B kernel
> config that's in -CURRENT right now.
> 
> All entries, right?

Yes, I uncommented all entries.

> And how do you booting, via usb-flash, or via SD card?

Via SD-card.  I'm using the image from here:
  http://people.freebsd.org/~kientzle/FreeBSD-RPI-B-r242362-2012-10-30.img.xz
and swapping out the kernel.

> I'll build now CURRENT, will look if I got same. 

Thanks.  I'd appreciate knowing whether it works for you.

If you can get it to work, I'd appreciate any details you can give.

Cheers,

Tim