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

From: Wall, Stephen <stephen.wall_at_redcom.com>
Date: Sat, 09 Jul 2022 16:47:23 UTC
> >> That would be the second step. The first step would be that somebody else
> confirms my finding that building and running a custom kernel on a stock
> FreeBSD 13.1-RELEASE on RPi 4 does not work out. And actually that was my
> initial question.

FYI, I have just built and booted to a custom FreeBSD 13.1-based kernel, using FreeBSD-13.1-RELEASE-arm64-aarch64-RPI.img, on an RPi4 w/ 8GB RAM and a 512GB SSD.  I am running buildworld as I type.

HTH

- Steve