Re: Failed to execute custom kernels which where build on a RPi 4 operated by 13.1-RELEASE

From: John Kennedy <warlock_at_phouka.net>
Date: Tue, 05 Jul 2022 03:14:15 UTC
On Mon, Jul 04, 2022 at 06:39:39PM -0700, Mark Millard wrote:
> ... I have yet to have my hands on a 0xb03115 RPi4B variant (so: Rev 1.5).
> It is my understanding that the RPi4B firmware vintage has to be
> recent enough to correctly handle the new PMIC used on the rev 1.5
> variants:
> 
> QUOTE (of RPi engineers on its forums on 2022-Feb-08):
> The PMIC has been changed. Needs firmware from April 21 or later

  Mark, do you know how to find that info just using FreeBSD?
Looks like there might be some uboot stuff, but I haven't managed to
catch it during a HDMI boot.