./setup.sh
# Optional
cd dotfiles-kerneldev
./setup.sh
Also, export CROSS_COMPILE=aarch64-linux-gnu-
as the cross compilation prefix and ARCH=aarch64
(done on my dotfiles).
cd linux
git remote add stable https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux
git fetch stable
cd trusted-firmware-a
make PLAT=sun50i_h6 bl31
cd u-boot
make orangepi_one_plus_defconfig
# We don't need this :)
export SCP=/dev/null
export BL31=$PWD/../trusted-firmware-a/build/sun50i_h6/release/bl31.bin
make -j`nproc`
cd linux
make defconfig
make -j`nproc` zImage
make -j`nproc` dtbs
On the Mac host, to get serial logs
picocom -b 115200 /dev/tty.usbserial-A50285BI
On the mac host:
limactl cp debian-12:/home/annemacedo.linux/embedded-linux-workspace/u-boot/u-boot-sunxi-with-spl.bin /tmp
./sunxi-fel -v $(cat ../sunxi-fel-cmds)
SD Card:
sudo dd if=/tmp/u-boot-sunxi-with-spl.bin of=/dev/disk4 iflag=fullblock oflag=direct conv=fsync status=progress