Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 19 Aug 2020 12:41:28 +0900 (JST)
From:      YAMAMOTO Shigeru <shigeru@os-hackers.jp>
To:        freebsd-arm@freebsd.org
Subject:   current best practice to start FreeBSD / Raspberry Pi 4
Message-ID:  <20200819.124128.149359658994284808.shigeru@os-hackers.jp>

next in thread | raw e-mail | index | archive | help

Hi, all

I have Raspberry PI 4, 4GB model and 8GB model.

I make SD image and I can boot 4GB model and 8GB model.

1. install u-boot-rpi4
  pkg install -y u-boot-rpi4

2. download SD card image for Raspberry Pi 3
  fetch https://download.freebsd.org/ftp/snapshots/ISO-IMAGES/13.0/FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20200813-r364182.img.xz

3. write image to SD card
  xzcat FreeBSD-13.0-CURRENT-arm64-aarch64-RPI3-20200806-r363935.img.xz | dd of=/dev/da0 bs=8k

4. mount FAT partition at SD card
  mount_msdosfs /dev/da0s1 /mnt

5. replace files

- 4GB model
  - replace u-boot.bin
    - cp /usr/local/share/u-boot/u-boot-rpi4/u-boot.bin /mnt/.
- 8GB model
  - replace u-boot.bin, fixup4.dat, start4.elf
    - https://sourceforge.net/projects/rpi4-8gbram-boot-fbsdonly/files/u-boot.bin/download
    - https://github.com/raspberrypi/firmware/raw/1.20200717/boot/fixup4.dat
    - https://github.com/raspberrypi/firmware/raw/1.20200717/boot/start4.elf

6. unmount FAT partiion
  umount /mnt

dmesgs are:
- https://github.com/bsd-hacker/freebsd/wiki/How-to-start-FreeBSD---Raspberry-Pi-4

It is my current best practice.

I hope to know other best practice to start FreeBSD / Raspberry Pi 4.
and I hope to know best practice of rpi4-uefi version.

Thanks,
---
YAMAMOTO Shigeru <shigeru@os-hackers.jp>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20200819.124128.149359658994284808.shigeru>