install debian on pbp

[jsch]

Hello

I would like to create a how-to file. If there is a usb-ethernet adapter available, then the steps could look like this:

source files
bullseye

Code:

wget http://http.us.debian.org/debian/dists/bullseye/main/installer-arm64/current/images/netboot/SD-card-images/firmware.pinebook-pro-rk3399.img.gz
wget http://http.us.debian.org/debian/dists/bullseye/main/installer-arm64/current/images/netboot/SD-card-images/partition.img.gz

bookworm

Code:

wget http://http.us.debian.org/debian/dists/bookworm/main/installer-arm64/current/images/netboot/SD-card-images/firmware.pinebook-pro-rk3399.img.gz
wget http://http.us.debian.org/debian/dists/bookworm/main/installer-arm64/current/images/netboot/SD-card-images/partition.img.gz

create img file

Code:

zcat firmware.pinebook-pro-rk3399.img.gz partition.img.gz  > complete_pbp_image.img

write installer on micro-SD
identify device name of micro-SD

Code:

lsblk
NAME   MAJ:MIN RM   SIZE RO TYPE MOUNTPOINTS
...
sdd      8:48   1   7.4G  0 disk
└─sdd1   8:49   1 130.5M  0 part

write to micro-SD

Code:

sudo dd if=complete_pbp_image.img of=/dev/sdd bs=4k status=progress oflag=sync

boot pbp from micro-SD
boot and install on eMMC

firmware
add non-free

Code:

sudo sed --in-place -e 's/ main$/ main non-free/' /etc/apt/sources.list

install

Code:

sudo apt-get update
sudo apt-get install firmware-brcm80211 firmware-misc-nonfree raspi-firmware

• firmware-brcm80211 holds some wifi firmware -- is this required?
  
• raspi-firmware holds brcmfmac43456-sdio.bin
  
• firmware-misc-nonfree holds rockchip firmware
  

If no usb-ethernet adapter is available, what are the necessary steps?
Would it suffice to download them, copy them to an usb stick and mount the latter on pbp?