FreeBSD on RaspberryPi

[Tim Kientzle]

On Nov 24, 2012, at 8:01 PM, Oleksandr Tymoshenko wrote:

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

Let me know if you need help with this.  I've worked with
the ubldr FDT code recently.

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

I'll try that.

I'm curious:  why is this information coming from the DTS?
That seems pretty complex; I thought that the
console code would query this information via the mailbox
interface.

Tim