RPI3 Hackathon at BSDCan/Dev SUmmit

[Michael Tuexen]

> On 07 Jun 2016, at 14:34, Shawn Webb <shawn.webb at hardenedbsd.org> wrote:
> 
> Hey,
> 
> I'm hoping we can convince Andrew Turner to help us out. He has
> existing code at https://github.com/zxombie/freebsd/tree/arm64-rpi3 but
> that hasn't been updated for a while now. FreeBSD HEAD has diverged
> enough to cause merge conflicts, some of which I think I might've fixed
> in my own code repo, but I don't know jack about that code so I probably
> made mistakes.
> 
> The RPI3 devices we're bringing all have SD cards in them along with
> serial cables that can also power the device. We're also bringing
> somewhere around 5-7 SD card readers. So we'll have plenty of devices to
> hack and test on.
> 
> I can help coordinate the work, but we really need help from those who
> understand arm64 and the chips in the RPI3.
I will not attend BSDCan this year and don't have much experience in
porting. But I would really love to see running arm64 on RPI3 and I'm
willing to help testing.

Best regards
Michael
> 
> Thanks,
> 
> Shawn
> 
> On Tue, Jun 07, 2016 at 08:26:20AM -0400, Manas Bhatnagar wrote:
>> Hello,
>> 
>> I am interested, but I really do not know much about programming for
>> the FreeBSD kernel. Still, I'm happy to help in any way that I can :)
>> 
>> Manas
>> 
>> On Tue, Jun 7, 2016 at 12:31 AM, Shawn Webb <shawn.webb at hardenedbsd.org> wrote:
>>> Hey All,
>>> 
>>> HardenedBSD is bringing 10+ RPI3 devices to hack on during the Dev
>>> Summit and during BSDCan. I'm really hoping that we can get RPI3 support
>>> with latest HEAD by the end of BSDCan.
>>> 
>>> I'm reading through the ARM64/AArch64 reference docs myself and have a
>>> long ways to go. I would still consider myself a complete newb in ARM64.
>>> So, in order to make my hope a reality, I'm going to need a bit of help.
>>> 
>>> Who's interested in participating in the hackathon?
>>> 
>>> Thanks,
>>> 
>>> --
>>> Shawn Webb
>>> Cofounder and Security Engineer
>>> HardenedBSD
>>> 
>>> GPG Key ID:          0x6A84658F52456EEE
>>> GPG Key Fingerprint: 2ABA B6BD EF6A F486 BE89  3D9E 6A84 658F 5245 6EEE
> 
> -- 
> Shawn Webb
> Cofounder and Security Engineer
> HardenedBSD
> 
> GPG Key ID:          0x6A84658F52456EEE
> GPG Key Fingerprint: 2ABA B6BD EF6A F486 BE89  3D9E 6A84 658F 5245 6EEE