Raspberry Pi 3 support

[Shawn Webb]

On Fri, Oct 14, 2016 at 02:12:58PM -0700, Oleksandr Tymoshenko wrote:
> 
> > On Oct 13, 2016, at 10:43 PM, Oleksandr Tymoshenko <gonzo at bluezbox.com> wrote:
> > 
> > Hello,
> > 
> > 
> > - bootcmd for EFI would look like:
> >    fatload mmc 0 ${loadaddr} loader.efi; bootefi ${loadaddr} 0x100
> >    where 0x100 is FDT blob address matching the value of device_tree_address
> >    parameter in config.txt
> 
> I stand corrected. boot1.efi should be placed on FAT partition and used in this command,
> not loader.efi
> 
> Actually the right way to do this is to copy boot1.efi to EFI/BOOT/bootaa64.efi
> Then no custom boot command is required. Board will just boot.

I've documented the steps I took to install FreeBSD on my RPI3:

https://wiki.freebsd.org/arm64

I hope I didn't miss anything. It's a wiki, so if I did, feel free to
correct it (or let me know and I can correct it, too).

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-arm/attachments/20161014/3690f71e/attachment.sig>