From 23704c770fc8dc10ab49e55f9ab3bdf9680f0ff6 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 21 Jun 2012 12:22:06 +0200
Subject: [PATCH] base-foc: Print location of the boot image

---
 base-foc/run/env | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/base-foc/run/env b/base-foc/run/env
index 2c3fb32776..e5a7ce855d 100644
--- a/base-foc/run/env
+++ b/base-foc/run/env
@@ -190,6 +190,8 @@ proc build_boot_image_arm {binaries} {
 	}
 
 	exec cp [bin_dir]/bootstrap.elf [run_dir]/image.elf
+
+	puts stderr "\nboot image: [run_dir]/image.elf\n"
 }