From 0106cde123281d208449157e9f4a5e63ae3b9eb0 Mon Sep 17 00:00:00 2001
From: Jan Palus <jpalus@fastmail.com>
Date: Mon, 29 Jul 2024 16:40:04 +0200
Subject: [PATCH] provide seed for kaslr in uboot

---
 release.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/release.sh b/release.sh
index e620d76..1a9e612 100755
--- a/release.sh
+++ b/release.sh
@@ -478,15 +478,19 @@ image_install_bootloader() {
 }
 
 image_setup_bootloader() {
-  local efi_target
+  local efi_target kaslrseed
 
   run_log_priv "Creating /boot/extlinux directory" install -d "$IMAGE_MOUNT_DIR/boot/extlinux"
+  if [ "$ARCH" = "aarch64" ]; then
+    kaslrseed=kaslrseed
+  fi
   run_log_priv "Configuring uboot extlinux entry" tee -a "$IMAGE_MOUNT_DIR/boot/extlinux/extlinux.conf" <<EOF
 menu title PLD Boot Menu
 default PLD
 timeout 20
 label PLD
   menu label PLD
+  $kaslrseed
   kernel /boot/vmlinuz
   append root=$(_part_id $IMAGE_ROOT_DEVICE) rw $IMAGE_BOOT_PARAMS
   initrd /boot/initrd