FreeBSD on RaspberryPi

[Oleksandr Tymoshenko]

On 2012-11-24, at 4:47 PM, Tim Kientzle <kientzle at freebsd.org> wrote:

> 
> 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.

Tim,

I'm almost done with getting kernel working with latest raspberry Pi firmware. Just need
to figure out how to make ubldr pass FDT pointer from u-boot to kernel and handle 
/reserve/ information in ARM machdep code. 

Meanwhile I suggest editing .dts file manually. Fill out "display" node properties with proper
display resolution and depth. Also add ukbd driver. That should get you working console.