Report: FreeBSD on Rpi4 8 GB model

[Robert Crowston]

> can I or can you transfer your information into the wiki?
No objection. If you prefer me to do it, I'll get around to it eventually.

> Do you know whether sysutils/u-boot.xx- port(not pkg) could be targeted to 2020.07
> to fix any issue with u-boot?

It's still June isn't it??? Working from home for so many weeks I've lost all sense of time, but I'm pretty sure it isn't July yet :-)

(I haven't tried this branch but presumably it has whatever fixed the 8 GB model.)

> Could you provide a u-boot binary and/or your modified armstub8-gic.bin for the wiki?

I'm using the armstub8-gic.bin from /usr/local/share/rpi-firmware/armstub8-gic.bin. I don't believe the upstream Pi Foundation code has changed for the 8 GB model. I'll mail you the u-boot.bin directly.

> Afaik u-boot 2020.07 has new patches for genet and pcie(!)… do you know details about that?

Don't see either working here, but I haven't investigated more than mashing the keyboard on boot. :) (Also, if it were fixed, presumably the xhci controller would have the right firmware loaded before FreeBSD started.)

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Saturday, 6 June 2020 19:41, Klaus Küchemann <maciphone2 at googlemail.com> wrote:

> Thanks Robert,
> can I or can you transfer your information into the wiki?
> My 8GB model was not bootable under UEFI.
> I didn't know that u-boot had a current patch.
> Could you provide a u-boot binary and/or your modified armstub8-gic.bin for the wiki?
> I could upload that to a server and make it available for download .
> Do you know whether sysutils/u-boot.xx- port(not pkg) could be targeted to 2020.07
> to fix any issue with u-boot?
> Afaik u-boot 2020.07 has new patches for genet and pcie(!)… do you know details about that?
>
> > Am 06.06.2020 um 20:15 schrieb Robert Crowston via freebsd-arm freebsd-arm at freebsd.org:
> > What works:
> >
> > -   FreeBSD SMP (see below)
> > -   All 8 GB of memory (less video RAM).
> >
> > What does not work on the 8 GB model (but does work on the 4 GB model):
> >
> > -   xhci (with my driver, there has been a change in the way the firmware is loaded)
> > -   ethernet (genet0 is detected fine, appears to be up, but no packets go over the interface)
> > -   JTAG debugging (urgh)
> >
> > dmesg: https://dmesgd.nycbug.org/index.cgi?do=view&id=5534
> > You will need the latest u-boot. The one in pkg doesn't work. I compiled from head: https://github.com/u-boot/u-boot.git
> > For SMP, you need also need to tell u-boot not to clobber over our processor start up function set up by armstub8-gic.bin.
> > Edit board/raspberrypi/rpi/Kconfig, set RPI_EFI_NR_SPIN_PAGES to a larger number (I picked 10, probably too big, but it was easier than doing the arithmetic).
> > $ CROSS_COMPILE=aarch64-none-elf- gmake rpi_4_defconfig
> > $ CROSS_COMPILE=aarch64-none-elf- gmake
> > Overwrite the u-boot.bin file on your sdcard with the one just built.
> > You will also need the latest versions of the pi4 firmware files on your MSDOS partition, bcm2711-rpi-4-b.dtb, fixup4.dat, start4.elf, and the overlays/ directory.
> >
> > freebsd-arm at freebsd.org mailing list
> > https://lists.freebsd.org/mailman/listinfo/freebsd-arm
> > To unsubscribe, send any mail to "freebsd-arm-unsubscribe at freebsd.org"