# Setup your build environment
#
# Create Trisquel 11 base docker container image
sudo su
mkdir -p /opt/docker_base_images
cd /opt/docker_base_images
apt update
apt install debootstrap docker-compose qemu-user-static
debootstrap aramo aramo > /dev/null
# Start docker
systemctl start docker
# Import docker image
tar -C aramo -c . | docker import - aramo
exit
# Add user to the docker group
sudo usermod -a -G docker trisquel
# Download scripts to build Trisquel 11 image for TPE-R1500
wget https://www.thinkpenguin.com/files/sd-card-trisquel-11-image-generation-...
tar xf sd-card-trisquel-11-image-generation-scripts-for-tpe-r1500.tar.gz
# Build the docker image
sudo docker build -t sd-images sd-card-images
# Make a directory to put the output and build the boot image for the TPE-R1500
mkdir -p /tmp/sd-images
sudo docker run --rm -v /tmp/sd-images:/artifacts sd-images build-boot r1500 rk3399 nanopi-r4s-rk3399_defconfig aarch64-linux-gnu
# Build the Trisquel root image
sudo docker run --rm -v /tmp/sd-images:/artifacts sd-images build-trisquel trisquel arm64 aramo
# Combine the boot image with the Trisquel root image to create an SD card image
#
# Note you need to take a look at the output of /tmp/sd-images/trisquel-armo-arm65*bin.gz
# file and replace the XXXXXX with the password generated and appended to the file name
zcat /tmp/sd-images/boot-r1500.bin.gz /tmp/sd-images/trisquel-aramo-arm64-XXXXXX.bin.gz > /tmp/sd-images/r1500-trisquel-11-sd-card.img
# Lastly run gnome-disks and write the r1500-trisquel-11-sd-card.img file to a SD card
gnome-disks
# You may need to look at your router's DHCP list to figure out the IP to ssh into as the live media will name the system trisquel as is the sd card image
# The password is in the name of the Trisquel image, ie trisquel-aramo-arm64-yeish3.bin.gz, so in this example the password is yeish3
# Replace the word trisquel below with the IP of the booted TPE-R1500 mail server (make sure to insert the SD card and power it on)
ssh root@trisquel