GhostBSD ARM64 porting from x86 code base (RISC-V in the future??)

WiFI SDIO Broadcom, Infineon 43455,  Notes to learn from for FreeBSD / GhostBSD-Arm64 https://wiki.gentoo.org/wiki/Raspberry_Pi4_64_Bit_Install#WiFi WiFi WiFi needs three firmware files from in /lib/firmware/brcm/ : brcmfmac43455-sdio.bin brcmfmac43455-sdio.clm_blob brcmfmac43455-sdio.txt Which is almost but not quite the same as the Pi3. The catch is in brcmfmac43455-sdio.txt where grep boardflags3 produces different results for the Pi3 and Pi4 files. The Pi4 version returns boardflags3=0x44200100 The Pi3 version returns boardflags3=0x48200100 With the wrong brcmfmac43455-sdio.txt file, bluetooth will work but not WiFi. These files, including the Pi 4 version of above file, are found in sys-firmware/raspberrypi-wifi-ucode , to install it you'll also need to install sys-kernel/linux-firmware with the savedconfig USE flag and remove the conflicting files from the saved configuration, and then re-emerge linux-firmware to apply the new de-conflicted saved configuration: /...

 Raspberry Pi 4B  uart3 enable documentation Rpi4 uart3 enable https://forums.raspberrypi.com/viewtopic.php?t=340392    Forum Post about enabling uart3 dtoverlay=uart3 is all you need for enabling it (either w/ or w/o flow control). I.e. on my CM4 DUT   You add a line to the  config.txt  file to apply a  Device Tree overlay .  dtoverlay=uart4 dtoverlay=uart3 or dtoverlay=uart3,ctsrts //here I trying both with and without "ctsrts" gives me pi@64bit-test:~ $ raspi-gpio get BANK0 (GPIO 0 to 27): GPIO 0: level=1 fsel=0 func=INPUT pull=UP GPIO 1: level=1 fsel=0 func=INPUT pull=UP GPIO 2: level=1 fsel=0 func=INPUT pull=UP GPIO 3: level=1 fsel=0 func=INPUT pull=UP GPIO 4: level=1 fsel=3 alt=4 func=TXD3 pull=NONE GPIO 5: level=1 fsel=3 alt=4 func=RXD3 pull=UP GPIO 6: level=1 fsel=0 func=INPUT pull=UP GPIO 7: level=1 fsel=0 func=INPUT pull=UP GPIO 8: level=1 fsel=3 alt=4 func=TXD4 pull=NONE GPIO 9: level=1 fsel=3 alt=4 func=RXD4 pull=UP GPIO 10:...

 GPIO Pins  on Raspberry Pi 4B;   How to use them in FreeBSD. Useful  RaspberryPi and FreeBSD documentation to help understand UART3 usage on a Raspberry Pi 4B.    Looking to enable and setup UART3 for a serial 9600 baud GPS data stream. https://man.freebsd.org/cgi/man.cgi?query=gpioctl&sektion=8&apropos=0&manpath=FreeBSD+13.1-RELEASE+and+Ports   GPIOCTL  gpio pin control  manual page https://github.com/raspberrypi/utils/blob/master/ovmerge/ovmerge   OVMERGE Tool https://blog.khubla.com/freebsd/understanding-the-raspberry-pi-freebsd-gpio-device    GPIO device understanding blog,  KHubla Blog 2013 , https://github.com/raspberrypi/linux/tree/raspberrypi-kernel_1.20210303-1/arch/arm/boot/dts/overlays/ Latest January 2023  Raspberry Pi firmware from Raspberrypi.com https://github.com/raspberrypi/linux/releases/tag/1.20230106 https://github.com/raspberrypi/linux/tags/ https://lists.freebsd.org/archives/fr...