Porting FreeBSD to Raspberry Pi

[Arnaud Lacombe]

Hi,

[added gber@ and cognet@ to the Cc: list]

On Thu, Nov 3, 2011 at 9:19 AM, richo <richo at psych0tik.net> wrote:
> On 03/11/11 10:22 +0100, Lars Engels wrote:
>>
>> Hi Hackers,
>>
>> maybe you've heard of the upcoming Raspberry Pi, a credit card sized ARM
>> computer which is about to get sold for 25$ - 35$ from december on.
>>
>> http://www.raspberrypi.org/archives/302
>>
>> Hardware details: http://elinux.org/RaspberryPiBoard#Hardware_Details
>>
>> The first charge will be 10,000 pieces, so there's a fair chance that
>> one can actually buy a board.
>>
>> If someone is willing to port FreeBSD to the Raspberry, I'd try to get
>> one of the boards and send it to the porter.
>>
>> Cheers
>> Lars
>
> I am planning to attempt a port, however I'm very new to kernel
> development/FreeBSD and would not feel right about accepting hardware for a
> project I'm not sure I have the skills to finish.
>
> To that end I'll be buying boards on release date, but would be interested
> in working with anyone else who is attempting it.
>
You certainly want to get in touch with gber at freebsd.org and
cognet at freebsd.org, as well as getting familiar with the code in
`sys/arm/', especially the one in the `projects/armv6' branch in the
p4 repository and the various TRM you could find on the ARM11 core
from ARM Ltd.

gber@, cognet@, what is the status of the code in the p4 repository ?

 - Arnaud