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

 Tigard FT232H Board connectons to a Raspberry Pi 4B for GDB and OpenOCD operation https://www.crowdsupply.com https://www.crowdsupply.com/press/tigard   Tigard Board Press Release https://www.crowdsupply.com/securinghw/tigard   Securing Hardware Github directions https://github.com/tigard-tools/tigard    Github hookup directions and source code https://www.electronics-lab.com/tigard-is-here-to-bust-open-any-embedded-physical-interface-you-can-find/   Electronics Lab short write up with GREAT Photo of Tigard Board. https://github.com/tigard-tools/tigard#jtag-debug-on-jtag-or-cortex-header   Github Jtag setup of Tigard board. ( city of Tigard Oregon ) https://embeddedsandbox.com/wordpress/my-raspberry-pi-4-jtag-setup-part-1-introduction/   Part 1 Software, of My Raspberry Pi 4 JTAG setup https://embeddedsandbox.com/wordpress/my-raspberry-pi-4-jtag-setup-part-2-the-hardware-setup/   Part 2 Hardware, of My Raspberry Pi 4 JTAG setup https://pinou...

 Uart3 Serial Port,  How to locate the source code used by FreeBSD / GhostBSD-Arm64 Edit the file /etc/rc.conf  and  add the bash execution line 'set -x'  This will produce verbose output from  'make buildkernel KERNCONF=GENERIC-VCHIC   -DNO_CLEAN Issue the  'make buildkernel' command and direct stdout & stderr to a file. make buildkernel KERNCONF=GENERIC-VCHIQ -DNO_CLEAN > BRCM64_GENERIC-VCHIQ.txt 2>&1  later you can run make installkernel KERNCONF=GENERIC-VCHIQ ===> wlan_tkip (install) install -T release -o root -g wheel -m 555   wlan_tkip.ko /boot/kernel/ install -T dbg -o root -g wheel -m 555   wlan_tkip.ko.debug /usr/lib/debug/boot/kernel/ ===> wlan_wep (install) install -T release -o root -g wheel -m 555   wlan_wep.ko /boot/kernel/ install -T dbg -o root -g wheel -m 555   wlan_wep.ko.debug /usr/lib/debug/boot/kernel/ ===> wlan_xauth (install) install -T release -o root ...

Raspberry Pi OS works, is supported.  Why select and use GhostBSD-Arm64?   Why would you choose to port FreeBSD (GhostBSD-Arm64) to the Raspberry Pi 4B?  Well I had experience installing & running PCBSD on a x86 laptop in June 2014.  Then I  went back to work and the next time I had time to install PCBSD was October, November 2016, yet there was no PCBSD available then.  Looking around I found https://GhostBSD.org/download and installed GhostBSD.  Networkmgr python app was not working for me.  So I studied about setting up wifi manual using google searches.  I will share forum posts related to that wifi learning experience. https://forums.ghostbsd.org/ucp.php?i=pm&mode=view&f=-1&p=162   Letter Note I wrote about my noob experience with GhostBSD in December 2016. Sorry, but when you are new, you don't have a procedure to follow or know the command names from the very beginning of your journey to knowledge.  Yet,...