RPI3 Hackathon at BSDCan/Dev SUmmit

[Isaac (.ike) Levy]

Hi Shawn,

Sadly, not able to make it to Canada this year, but for the last week or so since your announce I've been nudging along builds of OPNSense on ARMv8, via beaglebone boards, building from FreeBSD 11-ALPHA2 images.  Nothing special since the base ARM work comes from stock FreeBSD, I'm just compiling it.

My last build started yesterday, which apparently incorporates your HardenedBSD work as well, exciting to see all this work coming together!

So far so good, burning some micro-SD media to get the job done, so it just takes *time* ;)
Will happily give a shout when I have successful serial images built.

Best,
.ike



> On Jun 8, 2016, at 1:01 PM, Shawn Webb <shawn.webb at hardenedbsd.org> wrote:
> 
> It's available for free from ARM, but you have to sign up for an
> account. Due to having to sign up, I'm unsure I can share the
> documentation myself. It's the ARMv8 reference documentation.
> 
> On Wed, Jun 08, 2016 at 04:58:56PM +0000, Manas Bhatnagar wrote:
>> Share the reference documentation and I'm sure more folks would take a look
>> at it. Sorry if you've sent it before, I must have missed it.
>> 
>> On Wed, Jun 8, 2016, 12:57 Shawn Webb <shawn.webb at hardenedbsd.org> wrote:
>> 
>>> I've talked with Andrew Turner, who gave me a little bit of info to use
>>> as a starting point. We need to get U-Boot EFI working on the RPI3
>>> first. Luiz Otavio O Souza is the current U-Boot expert in FreeBSD, so
>>> I'm CC'ing him here. He's here at the Dev Summit, so I'm hoping he might
>>> have time to help out.
>>> 
>>> If I can't get the right knowledgeable people involved, I'm going to
>>> cancel the hackathon. I simply lack the knowledge regarding ARM64 and
>>> the RPI3 hardware to do anything myself over the course of the next four
>>> days. The ARM64 reference documentation is several thousands of pages,
>>> and I'm only a few hundred pages in. I'll continue on, but I still have
>>> a ways to go. ;)
>>> 
>>> I'm really hoping to get some help from the FreeBSD community.
>>> 
>>> Thanks,
>>> 
>>> Shawn
>>> 
>>> On Tue, Jun 07, 2016 at 08:34:50AM -0400, Shawn Webb 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.
>>>> 
>>>> 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
>>> 
>>> 
>>> 
>>> --
>>> 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