Date: Wed, 10 Jan 2024 17:30:08 -0800 From: Mark Millard <marklmi@yahoo.com> To: Doug Rabson <dfr@rabson.org> Cc: Jesper Schmitz Mouridsen <jsm@freebsd.org>, John Kennedy <warlock@phouka.net>, ykla <yklaxds@gmail.com>, FreeBSD ARM List <freebsd-arm@freebsd.org> Subject: Re: When will FreeBSD support RPI5? Message-ID: <A2CA16F2-9894-41F2-8035-A5E8BE271B58@yahoo.com> In-Reply-To: <CACA0VUjoTTVje7tQe%2BVHXPco_xs4C8vSB3P3eDnhuYJYSqc7Sw@mail.gmail.com> References: <CA%2BPGaYC6__AZUgHqfv3PO-o=7FnEzRzTPGPhMuahFNdcN0D69A@mail.gmail.com> <ddbf131c-1f2c-424b-9a3f-54ded16c5123@FreeBSD.org> <ZZHC_SjrPgs3DMKe@phouka1.phouka.net> <5a39810c-5fd8-4969-a222-2561b050b035@FreeBSD.org> <CACA0VUjoTTVje7tQe%2BVHXPco_xs4C8vSB3P3eDnhuYJYSqc7Sw@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Jan 10, 2024, at 07:45, Doug Rabson <dfr@rabson.org> wrote: > I was able to boot FreeBSD-14.0 on an rpi5 using EDK2 from = https://github.com/worproject/rpi5-uefi. I put the EDK2 firmware on an = SD card and an aarch64 memstick image on a USB thumb drive and was able = to boot all the way into the installer. PCI express is missing as well = as ethernet but it's a really promising start. Same sort of thing here . . . I normally use USB3 media set up to boot nearly all the aarch64 systems that I have access to, including the RPi* ones. So I did (da3 for the microsd card was already in present for this): # fetch = https://github.com/worproject/rpi5-uefi/releases/download/v0.2/RPi5_UEFI_R= elease_v0.2.zip # mkdir RPi5_UEFI_materials # cd RPi5_UEFI_materials/ # unzip ../RPi5_UEFI_Release_v0.2.zip # gpart destroy -F da3 # gpart create -s gpt /dev/da3 # gpart add -t efi -a1m -lRPi5-edk2 /dev/da3 # newfs_msdos /dev/da3p1 # mount -onoatime -tmsdosfs /dev/da3p1 /mnt # cp -aRx ./ /mnt/ # umount /mnt I put the microsd card in the RPi5's slot, connected an example boot media, connected the serial console cabling and connected that to a system, connected a USB3 Ethernet dongle and Ethernet connection to it, and tried to boot. It worked just fine, logging in on the serial console and over ssh. The other example USB3 media that I've tried also work. These are main [so: 15] personal builds. I've not done any testing, yet, for problems FreeBSD has for RPi4B UEFI/ACPI (EDK2) based use to see if they happen with FreeBSD snapshot builds for the RPi5. (While I normally use FreeBSD's U-Boot type of context, My builds do have patches to allow RPi4B EDK2 use to avoid the problems that I know to test for.) I do not normally use the video and I've not tested it, but it is documented as having support. FYI: # mount -onoatime -tmsdosfs /dev/mmcsd0p1 /mnt # ls -Tloa /mnt/ total 2148 drwxr-xr-x 1 root wheel - 32768 Dec 31 16:00:00 1979 . drwxr-xr-x 49 root wheel uarch 1536 Jan 5 10:29:46 2024 .. -rwxr-xr-x 1 root wheel uarch 2031616 Jan 5 10:29:34 2024 RPI_EFI.fd -rwxr-xr-x 1 root wheel uarch 76038 Jan 5 10:21:50 2024 = bcm2712-rpi-5-b.dtb -rwxr-xr-x 1 root wheel uarch 388 Jan 5 10:18:24 2024 config.txt # more /mnt/config.txt armstub=3DRPI_EFI.fd device_tree_address=3D0x1f0000 device_tree_end=3D0x210000 # Leave RP1 PCIe configured on hand-off. pciex4_reset=3D0 # Force 32 bpp framebuffer allocation. framebuffer_depth=3D32 # Disable compensation for displays with overscan. disable_overscan=3D1 # Force maximum USB power regardless of the power supply. usb_max_current_enable=3D1 # Force maximum CPU speed. force_turbo=3D1 (No adjustments made.) =3D=3D=3D Mark Millard marklmi at yahoo.com
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?A2CA16F2-9894-41F2-8035-A5E8BE271B58>