Date: Mon, 7 Sep 2020 11:28:54 -0700 From: Mark Millard <marklmi@yahoo.com> To: tech-lists <tech-lists@zyxst.net> Cc: freebsd-arm <freebsd-arm@freebsd.org> Subject: Re: rpi4 won't overclock Message-ID: <9AF2EC1F-4EAC-4029-A988-EDF242C35BE9@yahoo.com> In-Reply-To: <20200907144212.GB62420@bastion.zyxst.net> References: <2F772350-6832-44CE-BCB4-F877173D320A.ref@yahoo.com> <2F772350-6832-44CE-BCB4-F877173D320A@yahoo.com> <20200907144212.GB62420@bastion.zyxst.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On 2020-Sep-7, at 07:42, tech-lists <tech-lists at zyxst.net> wrote: . . . > Can you explain what you mean by uefi/ACPI style boot process? Or is = there a > link that explains it. I only know of one boot process with freebsd on = rpi > boards, and thats via u-boot. For now I'm restricting myself to replying to just the above. https://rpi4-uefi.dev/ is about "SBBR-compliant (UEFI+ACPI) AArch64 =3D firmware for the Raspberry Pi 4". Think UEFI/ACPI like on PC based servers and modern PCs. You can read some about it there. There are more recent releases than that page talks about. The list of releases is shown at: https://github.com/pftf/RPi4/releases/ There are installation notes on the page shown by: https://github.com/pftf/RPi4/ Last I checked, the uefi serial console setting needs to be selected for FreeBSD to boot but recent uefi releases have the Graphical selection as the default. Last I checked, the uefi software can not save its settings to USB boot media on a 8 GiB RPi4B (silent no-op) but can on a 4 GiB RPi4B. An 8 GiB can use the USB media that was saved-to on a 4 GiB. So far as I know, using microsd card to hold the uefi software should work fine for both types of RPi4B, including for saving settings. Note: It takes fairly recent eeprom contents for a RPi4B to boot from USB(3) without use of a microsd card. (Not just uefi booting: generally.) The RPi4B handling of GPT, MBR, and hybrid for some type(s) of media are still undergoing changes: Recent BETA RPi4B firmware changed the microsd card handling of Hybrid. (I do not know if u-boot supports avoiding microsd cards when the RPi4B has sufficient eeprom content and recent enough firmware.) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?9AF2EC1F-4EAC-4029-A988-EDF242C35BE9>