Download a FreeBSD 14.0 Current version for Raspberry Pi

Download  a FreeBSD 14.0 Current version for Raspberry Pi

Here below,  I used Manjaro Linux to download and write an .IMG file to a microSD card.  I have also used GhostBSD.org Operating System as my base development system to do the same thing.   The commands are slightly different to perform the same task.  Like sha256, sha512 commands for GhostBSD and sha256sum, sha512sum for Manjaro Linux.

My non functional USB Keyboard problem details, referenced in URLS

I see some numbers and text fly by on the HDMI Monitor with Raspberry Pi 4B, yet could not type on the USB keyboard and enter some characters to login at the login prompt.  The keyboard was non responsive.  The February 2021 FreeBSD snapshots did not have the correct start4.elf file.

[Bug 253981] USB keyboard doesn't work on RaspberryPi 4. https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=253981 Bug ID: 253981 Summary: USB keyboard doesn't work on...

Nabble (http://freebsd.1045724.x6.nabble.com/Bug-253981-USB-keyboard-doesn-t-work-on-RaspberryPi-4-td6450955.html)

MD5 checksum differences of files

pkg install md5deep

md5deep -z -b * > bootfiles_raspi4b.md5


 Older, smaller, February 2021 version of Start4.elf that make non responsive USB keyboard

    size          md5 checksum                                     filename
   2227200  b9a4da9e63f3e18fc0256e6fca6232f6  start4.elf
   MD5 (./start4.elf) = b9a4da9e63f3e18fc0256e6fca6232f6

Newer, larger, March April 2021 versoin of Start4.elf that has usable USB keyboard.   USE THIS VERSION  or newer version
   2231456  345c6cff9a19e8688e35a68b53b2da5d  start4.elf

 FreeBSD resources for downloading a Raspberry Pi snapshoot

https://freebsdfoundation.org/freebsd-project/resources/installing-freebsd-for-raspberry-pi/

Where to download a pre-made version of FreeBSD for the Raspberry Pi or the Rock64

https://www.freebsd.org/where/

 

Version 14.0 Current list when I posted to this blog

https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/ 

mkdir ~/arm64_work

cd ~/arm64_work

wget -c https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766.img.xz

                wget -c https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/CHECKSUM.SHA512-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766

                wget -c https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/CHECKSUM.SHA256-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766

sha512 FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766.img.xz

or save some typing with '*' wildcard symbol since there is only 1 *.xz file

                sha512 *.xz

cat  CHECKSUM.SHA512-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210225-bf667f282a7-256946

                sha256 *.xz  ; sha256 FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766.img.xz

                cat  CHECKSUM*  ;  ls CHECKSUM*

or use the full filename

                cat CHECKSUM.SHA256-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766

CHECKSUM.SHA256-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766 

https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/CHECKSUM.SHA512-FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766

 

unxz --decompress  FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766.img.xz

mv  FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210401-4084b1ab041-245766.img  FreeBSD14-aarch64-RPI.img

                umount /dev/mmcblk0     Manjaro Linux command
                dd if=FreeBSD14-aarch64-RPI.img of=/dev/mmcblk0 bs=4M conv=sync status=progress

                umount /dev/mmcsd0s1   GhostBSD command
                umount /dev/mmcsd0s2a

 

dd if=FreeBSD14-aarch64-RPI.img of=/dev/mmcsd0 bs=4M conv=sync status=progress

 

At this point you can mount the 2 partitions and view the file contents.  File "config.txt"  might need to be modified to suit your purposes. Like "comment out"

#HDMI_safemode=1

# For a HDMI screen size of 1920x1080 pixels use the following

hdmi_group=1
hdmi_mode=16


Mounting the microSD card on GhostBSD is simple as adding these two lines to your /etc/fstab file with a text editor  ee or geany or  a shell command


/dev/mmcsd0s1        /media/BOOT      msdos        rw    0     0
/dev/mmcsd0s2a        /media/ROOT      ufs        rw    0     0
 

sudo echo "/dev/mmcsd0s1        /media/BOOT      msdos        rw    0     0
/dev/mmcsd0s2a        /media/ROOT      ufs        rw    0     0" >> test1

Config.txt file details

https://www.raspberrypi.org/documentation/configuration/device-tree.md

config.txt is scanned for user-provided parameters, along with any overlays and their parameters, which are then applied. The loader examines the result to learn (for example) which UART, if any, is to be used for the console. Finally it launches the kernel, passing a pointer to the merged DTB.

config.txt  file contents

[all]
arm_64bit=1
dtparam=audio=on,i2c_arm=on,spi=on
dtoverlay=mmc
dtoverlay=disable-bt
device_tree_address=0x4000
kernel=u-boot.bin

[pi4]
#hdmi_safe=1
#overscan_left=1
hdmi_group=1
hdmi_mode=16
armstub=armstub8-gic.bin


Booting and Using the Raspberry Pi OS image from a SD card, you can update the EEPROM contents and set the Boot Order to a value like 0xF5421 or 0xF41

https://www.raspberrypi.org/documentation/hardware/raspberrypi/bcm2711_bootloader_config.md 

https://www.raspberrypi.org/documentation/hardware/raspberrypi/booteeprom.md

 For GhostBSD:  check the mounting status names with:  cat /etc/fstab gpart status;  mount

unmount the partitions /dev/mmcsd0s1 /dev/mmcsd0s2a 

        umount /dev/mmcsd0s1 /dev/mmcsd0s2a

For Manjaro Linux:  cat /etc/fstab; mount

unmount the partitions /dev/mmcblk0p1  /dev/mmcblk0p2 with this command

umount /dev/mmcblk0p1  /dev/mmcblk0p2

Remove the microSD card and place into the microSD card slot on the raspberry pi.  Attach keyboard and mouse and HDMI cable from the Monitor screen.  Power on the RaspberryPi.  Have fun.  See if you can login to the FreeBSD login prompt using the USB keyboard.

Raspberry Pi USB Keyboard Not Working, FreeBSD February 2021 images

This just might solve my problem.  I will sha256sum the startx4.elf and firmware4.elf files to record that and the date and the file size.  To show what versions are bad for FreeBSD 4

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=253981
http://freebsd.1045724.x6.nabble.com/Bug-253981-USB-keyboard-doesn-t-work-on-RaspberryPi-4-td6450955.html#a6452740

USB keyboard not working on FreeBSD 14.0 Current  February 18,25 2021 version for Raspberry Pi 4B
--- Comment #39 from Nathan Tice <[hidden email]> ---
I'm pleased to announce that I've tried the new snapshot, and the keyboard
works.
FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210311-15565e0a217-257277.img.xz

In the following releases, the system boots up to prompt enter user -
Alas the keyboard, doesn't have any lights on, and isn't working.
[ Note the same keyboard, works just fine under Linux, and other OS. ]

FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210218-fa3bd463cee-256776.img.xz      
FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210225-bf667f282a7-256946.img.xz


Look at the most recent downloads of  Snapshots ARM64 ISO-IMAGES 14.0 Current in your Web Browser
https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/

For GhostBSD users, reference these commands here  https://wiki.ghostbsd.org/index.php//sbin/
change directory to your directory for saving downloads
mkdir ~/Downloads/FreeBSD_14.0_Current
cd ~/Downloads/FreeBSD_14.0_Current
wget -c https://download.freebsd.org/ftp/snapshots/arm64/aarch64/ISO-IMAGES/14.0/FreeBSD-14.0-CURRENT-arm64-aarch64-RPI-20210318-a771bf748f9-245511.img.xz

Check for correct download without errors.  Using sha512 command.
sha512 *.xz

Uncompress the image
unxz --decompress FreeBSD*.img.xz

dd if=FreeBSD-14*-aarch64-RPI*.img of=/dev/mmcblk0 bs=4M conv=sync status=progress

Reference my blog post:   This is what you are reading right now.
https://ghostbsd-arm64.blogspot.com/2021/02/download-freebsd-140-current-version.html

Best wishes in your use and testing of FreeBSD 14.0 Current on your Raspberry Pi 3B, 3+, 4B hardware

Nabble (http://freebsd.1045724.x6.nabble.com/Bug-253981-USB-keyboard-doesn-t-work-on-RaspberryPi-4-td6450955.html)
freebsd-arm - [Bug 253981] USB keyboard doesn't work on RaspberryPi 4
[Bug 253981] USB keyboard doesn't work on RaspberryPi 4. https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=253981 Bug ID: 253981 Summary: USB keyboard doesn't work on...

Youtube Videos related to FreeBSD


Robonuggie install FreeBSD 12.0 on Raspberry Pi 3B from March 8, 2019  a couple years ago.


 

 February 2021


RaspberryPiTips.com  December 2020 Video







Location: Salem, OR, USA

Comments

Post a Comment

Popular posts from this blog

HDMI Audio sound patches into GhostBSD source code /usr/ghost14/ghostbsd-src SOLVED Jan20 2024

Image
HDMI Audio sound patches into GhostBSD source code /usr/ghost14/ghostbsd-src   January 19, 2024  SOLVED Jan 20, 2024 Applied the three patches manually: D36431, D37878 ,  D37879      D36431 date was September 2, 2022 D37879 date was December 26, 2022 D37878 date was December 26, 2022 fetch https://reviews.freebsd.org/D36431?download=true wget -c https://reviews.freebsd.org/file/data/cc5gnx6lx7pcvduupcbj/PHID-FILE-ombv7ctfqm3de2dyqgeq/D36431.diff fetch https://reviews.freebsd.org/D37878?download=true wget -c https://reviews.freebsd.org/file/data/bicc7vdmyzwnylvq5soa/PHID-FILE-wc6uoit423pb3lpagwsq/D37878.diff fetch https://reviews.freebsd.org/D37879?download=true wget -c https://reviews.freebsd.org/file/data/ln65jga5vwpz4j2ijmnx/PHID-FILE-cnp5deghq74u3kcfwtxs/D37879.diff Standard update to /usr/src  code to the latest git -C /usr/src pull --ff-only root@usr/src # git -C /usr/src pull --ff-only Already up to date. Go to bottom of this post and read...
Read more

How to install GhostBSD-Arm64 into a USB Flash Drive stick April 24, 2024 update edition.

Image
 How to install GhostBSD-Arm64 into a USB Flash Drive stick January 5, 2024 edition, update April 24 2024 The steps below are based on using a Raspberry Pi 4B,3B,400 computer, running sh shell scripts using FreeBSD or GhostBSD-ARM64.    1.)  You can  may run these scripts on a standard X86_64 PC booting a live image of https://GhostBSD.org/download    " latest build " or the regular released version, then written to a USB flash Drive for booting up a live media version of GhostBSD or    booting a snapshot .ISO image of FreeBSD. https://freebsd.org/where    FreeBSD.org/where   13.2-RELEASE or 14.0-RELEASE https://download.freebsd.org/releases/amd64/amd64/ISO-IMAGES/14.0/ 2.)  Balena Etcher Tool for Windows and Linux to burn an image file into a USB flash drive https://etcher.balena.io/ 3.)   h ttp://ghostbsdarm64.hopto.org/packages/   Directory of  images you can download. http://ghostbsdarm64.hopt...
Read more

January 19, 2024 Howto Download a Raspberry Pi 4B bootable image from http://ghostbsdarm64.hopto.org/packages/

 Download a Raspberry Pi 4B bootable image for a USB Flash drive 16GB or larger size March 6, 2024  update:  use  Feb27_2.img.xz  file http://ghostbsdarm64.hopto.org/packages/    Here is the directory to look at. http://ghostbsdarm64.hopto.org/packages/write_freebsd_img_dd_to_da1.sh   Here is the shell script for GhostBSD / FreeBSD that will download the  FreeBSD-14.0-RELEASE image GhostBSD Feb27_2.img.xz  image file. HDMI Audio will eventually be working  Paste in any URL link to download that file using BSD Fetch command 0.)  Select '0' to download the FreeBSD-14.0-RELEASE CHECKSUM-RPI text file and compare against the FreeBSD-14.0-RELEASE  sha512 checksum value   
Read more