ZERO 0 page, What tools to use, List of items to implement, Howto for aarch64 port of GhostBSD x86 code base
GhostBSD-ARM64 port Telegram Group: Search telegram for "GhostBSD ARM port" updated January 23, 2021 What we are working toward Kernel Debugging Tips note raspberry_pi debugging raspberry pi linux kernel with jtag and GDB Eastrivervillage.com KGDB-KDB-over-serial-with-RaspberryPi LLDB URL links to read Fred Finster, [02.01.21 17:36] Found some recent December 2020 reading material lLLDB-debugger-improvements-for-freebsd/ https://www.moritz.systems/blog/freebsd-remote-plugin-final-milestone-achieved/ FreeBSD 13.0 Current Look at https://PersonalBSD.org for binary images for Khadas, RockPi64, RockPi 4, RockPi 4c, Pinebook Pro, NanoPC-T4, ROC RK3399, Plus PC, Lambda Land Post about getting FreeBSD 13.0 running on the Raspberry Pi 4 https://lambdaland.org/posts/2020-12-23_freebsd_rpi4/ https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=247012 Look for Raspi4 with 8Gigs u-boot version. https://github.com/raspberrypi/firmware/tree/master/boot Raspberry Pi Firmware