arm64 as Tier 1 for FreeBSD 13

[greg at unrelenting.technology]

December 4, 2019 2:15 AM, "Mark Millard" <marklmi at yahoo.com> wrote:

> The MACCHIATObin that I have access to (sometimes) was
> from:
> 
> https://www.picocluster.com/products/pico-macchiatobin

That acrylic case for 99 dollars?? That's kinda ridiculous.
I guess that includes a power supply but it looks like a
very basic one, plugs into the barrel jack instead of the
ATX socket.

I would not be surprised if a full GPU load on a reference
RX 480 card just melted that power jack :)

> Greg provided an edk2 based image for UEFI and I set the
> jumpers to use it from the uSD card slot. I had to set it
> to use ACPI information instead of dtb to get it to work.
> It found and booted the SSD. It would be nice to have a
> port that produced a similar image, possibly preset to
> ACPI style.

Actually having a port is not a bad idea, there's edk2
for virtual machines (OVMF) already.

> (The uSD card choice avoided any potential of messing up
> in a non-recoverable way in trying to update an on-board
> area. Just my choice to use a simple dd to a uSD card.)

It's actually always recoverable. The boot ROM can always
boot from uSD and even from the serial port (!):

https://developer.solid-run.com/knowledge-base/a388-u-boot/#booting-from-uart

(the docs are from another SoC but it's the same here)