Raspberry Pi 4
Raspberry Pi 4 is a small single-board computer featuring a 1.5 GHz 64-bit quad-core ARM Cortex-A72 processor, on-board 802.11ac Wi-Fi, Bluetooth 5, gigabit Ethernet, four USB ports, and two micro HDMI (HDMI Type D) ports for up to 4K resolution.
To build firmware for the Raspberry Pi 4 using Replica.one, first clone the main repository as described in docs/QUICKSTART.md.
Next, invoke the build process using make:
make CTARGET=aarch64-unknown-linux-gnu package_rpi4
Sample (cached) build can be seen here:
A successful build will generate the following files in the output/ directory:
-
gentoo-arm64-raspberry-rpi4.img.xz— XZ compressed raw firmware disk image
The output/gentoo-arm64-raspberry-rpi4.img.xz image contains a pre-formatted raw disk image that you can flash directly onto a microSD card:
WARNING: possible data loss! Make sure you write to the correct disk device.
$ xz -d -T0 --stdout ./output/gentoo-arm64-raspberry-rpi4.img.xz | dd of=/dev/sd<X> bs=4M
0+4809 records in
0+4809 records out
312468156 bytes (312 MB, 298 MiB) copied, 26.7969 s, 11.7 MB/s
where <X> corresponds to a block device on the host.
The recording below shows the procedure for preparing the microSD card:
And lastly the recording below shows the entire boot process:
