Raspberry Pi 500 Keyboard with 8 GB dram, trying to boot FreeBSD 15.0-CURRENT ALPHA5 RPI(3/4) Image

Hello FreeBSD Arm users,

Sorry that I ask too many questions on this one issue of booting  
FreeBSD on a Raspberry Pi 500 Keyboard model (based on the RPI 5 
design).  I did read Mark Millards freebsd-arm mail list responses to  
booting FreeBSD on RPI5., looking for examples and help.

I am wishing to boot FreeBSD on a raspberry Pi 500 Keyboard model with 8 
GB dram.  I should use the RPI FreeBSD 14.2 version image suggested in 
the FreeBSD RPI5 Wiki.  I did give a test using the FreeBSD 15.0-CURRENT 
Alpha5 RPI image.

Attached a screen shot picture with the message invalid kernel.  So I am 
missing something in the image creation process from the Wiki entry.  
How do you test the newer built RPI images? 
https://wiki.freebsd.org/arm/Raspberry%20Pi%205


So how does the FreeBSD Continuous Integration Arm64 scripts that build 
the RPI (3/4) image or who keeps track of quality control (QC) on the 
binary images created for the various Raspberry PI 4 and Raspberry Pi 5 
models of hardware?   Does someone sign off and say this image works and 
supports these items in the System On a Chip (SOC) RPI hardware 
design?   Yes, I am probably missing some dot or missed crossing a 'T' 
in creating this image to boot FreeBSD on the RPI 500 keyboard model 
hardware.

.

Does anybody run  md5deep  Audit checks, so that one person can confirm 
this is the exact image I used to boot from,  using these audited files.  ?

Here is the master firmware files from Raspberry Pi dot com website

https://github.com/raspberrypi/firmware/tree/master/extra

https://github.com/raspberrypi/firmware


Here is my blog post on using md5deep audit tool on raspberry Pi files. 
https://ghostbsd-arm64.blogspot.com/2021/05/audit-your-boot-files-with-md5deep.html

Here is my blog post on following the step by step directions listed on 
the FreeBSD Wiki RPI 5 site:

https://ghostbsd-arm64.blogspot.com/2025/09/setting-up-freebsd-on-raspberry-pi-5.html 


https://wiki.freebsd.org/arm/Raspberry%20Pi%205 Raspberry Pi 5 Boot step 
by step directions.  I am struggling to follow exactly these steps. I 
have the microSD card with files from FreeBSD RPI4 image, and the USB 
FAT32 MSDOS partition with the files from RPI UEFI.


I obtained device tree blobs for the BCM2712 SOC raspberry Pi 500 from 
the master firmware RPI github site.

You can verify the MD5DEEP checksums at my blogpost website 
GhostBSD-Arm64.blogspot.com

Auditing the files written into the USB Flash drive FAT32 MSDOS root 
directory and creating a text file with md5 hashes.

md5deep -z -b * > ~/audit_bootfiles_raspi500_oct12.md5



So several people have Raspberry Pi 5s running  FreeBSD.  May I compare 
your files with the standard files using MD5 checksums from the MD5 DEEP 
audit output list text file?

https://ghostbsd-arm64.blogspot.com/2021/05/audit-your-boot-files-with-md5deep.html

md5deep -z -b * > ~/audit_bootfiles_raspi500_oct12.md5

Has someone actually booted FreeBSD 15.0-CURRENT on the Raspberry Pi 500 
keyboard model or the Raspberry Pi 5 model?

There are a couple more blog sites to read up, about installing FreeBSD 
Arm64 to a Raspberry Pi model 5. 
https://ghostbsd-arm64.blogspot.com/2025/09/setting-up-freebsd-on-raspberry-pi-5.html

2.)  Is there opportunity to see how that RPI 4/5 image is created with 
shell scripts in the build process for creating those RPI 4/5 images?  I 
would like to see HDMI Audio working on the RPI5 or RPI500 keyboard. ( 
RPI 4B and RPI400 keyboard model)  have the FreeBSD review D43399 to 
help with using HDMI Audio.

https://deepwiki.com/raspberrypi/linux/2.3-bcm2712-soc-(raspberry-pi-5) 
more information

3.)  Other useful websites documenting how to boot / install FreeBSD on 
Raspberry Pi hardware.??  Any good ones to share here.

I am trying my best to help myself and test setups first before asking 
questions and asking for help from FreeBSD-Arm forum mailing list.

Fred Finster

https://ghostbsd-arm64.blogspot.com blog about using Raspberry Pi ARM 
SBCs with FreeBSD / and some GhostBSD.