From 89270f69e01ac75a946b9897148baac0fa6c9d7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 8 Dec 2023 17:18:10 +0100
Subject: [PATCH] sculpt_image: copy uboot.env file for PinePhone

Issue genodelabs/genode-allwinner#26.
---
 repos/gems/run/sculpt_image.run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/gems/run/sculpt_image.run b/repos/gems/run/sculpt_image.run
index 11d9219c52..ea059ddf33 100644
--- a/repos/gems/run/sculpt_image.run
+++ b/repos/gems/run/sculpt_image.run
@@ -59,6 +59,9 @@ puts "Disk image:     $depot_image_path.img"
 # install content of boot directory into depot
 exec rm -rf $depot_image_path
 exec cp -r [run_dir]/boot $depot_image_path
+if {[have_board pinephone]} {
+	exec cp [run_dir]/ext2/boot/uboot.env $depot_image_path
+}
 puts "Boot directory: $depot_image_path"
 
 puts ""