Re: How to Boot FreeBSD Using pftf/RPi4 UEFI

> On 21 Sep 2023, at 15:47, John F Carr <jfc@mit.edu> wrote:
> 
> 
> 
>> On Sep 21, 2023, at 05:26, Mark Millard <marklmi@yahoo.com> wrote:
>> 
>> [Andrew T.: for main this lead to
>> "panic: Assertion smccc_version != 0 . . ."
>> for today's new snapshot.]
> 
> I get the same error booting a fresh kernel on my Overdrive 1000
> which doesn't have any of the Pi-related boot weirdness.
> Commits c643e82dba0b17b2716de4c9d44a3c9c547cbbd5 and
> 8a723e2bd8683b0e046ed9d03178082f84c8cf26 are relevant.

It should be fixed in 843bea18711d726cd2f0a3c3f9144b218e4de3e8

Andrew