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

"Dr. Rolf Jansen" <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <[email protected]>
Hello!

On my brand new RPi 4 B (0xb03115), operated by 13.1-RELEASE, I built 2 custom kernels, with kernel configs from different sources. Building and installing went through without issues.

cd /
fetch https://download.freebsd.org/releases/arm64/aarch64/13.1-RELEASE/src.txz
tar -xzf src.txz
cd /usr/src

Here is the last kernel config which I used:

cat /usr/src/sys/arm64/conf/GENERIC-RPi4

   include	GENERIC
   ident	GENERIC-RPi4
   nooptions	SOC_NVIDIA_TEGRA210


make -j4 buildkernel KERNCONF=GENERIC-RPi4
make installkernel KERNCONF=GENERIC-RPi4

When restarting with any of the new kernels, booting stalls after these messages in the serial console:

   ...
   sdhci_bcm0-slot0: AC12 err: 0x00000000 | Host ctl2:0x00000000
   sdhci_bcm0-slot0: Caps:     0x00000000 | Caps2:    0x00000000
   sdhci_bcm0-slot0: Max curr: 0x00000001 | ADMA err: 0x00000000
   sdhci_bcm0-slot0: ADMA addr:0x00000000 | Slot int: 0x00000000
   sdhci_bcm0-slot0: ===========================================
   uhub0: 5 ports with 4 removable, self powered
   mmc0: No compatible cards found on bus

The last line is not indicative for the error, since I see this as well with the original GENERIC kernel, only then it does not even think once and continues without pause in the boot sequence.

Is anyone able to build !!!working!!! custom kernels with the 13.1-RELEASE sources on the very RPi 4?

Best regards

Rolf Jansen
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.