Re: 13.0-RELEASE Poor performance on Raspberry pi 3 B+

Thanks for the feedback !

> Very strange. I get
Can you share the brand model of the microSD cards that you are using? Just
for reference.

> bob prohaska


> What specific version/variation of the RPi4B was in use?
I'm using raspberry pi 4 / 4 GB RAM

> What RPi4B firmware vintage was in use?
> What U-Boot vintage was in use?
> What FreeBSD loader.efi vintage is n use?

> ===
> Mark Millard

This is what I get:

root@generic:~ # strings /boot/msdos/u-boot.bin | grep "U-Boot 2"
U-Boot 2020.10 (Apr 09 2021 - 03:55:54 +0000)

root@generic:~ # strings /boot/msdos/start4.elf | grep VC_BUILD_ID_
VC_BUILD_ID_USER: dom
VC_BUILD_ID_TIME: 12:10:40
VC_BUILD_ID_VARIANT: start
VC_BUILD_ID_TIME: Feb 25 2021
VC_BUILD_ID_BRANCH: bcm2711_2
VC_BUILD_ID_HOSTNAME: buildbot
VC_BUILD_ID_PLATFORM: raspberrypi_linux
VC_BUILD_ID_VERSION: 564e5f9b852b23a330b1764bcf0b2d022a20afd0 (clean)

PS: I've installed netBSD using the same card / pi 3 B+ combination and it
runs ok at 50 MHz. I'll try tomorrow on the pi 4

```
arm64# dmesg | grep sdmmc | grep MHz
[     2.009317] sdmmc1: 4-bit width, 50.000 MHz
```