From 11bfbb35320a9c28ba48ced2204b4ccff30c4250 Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Tue, 14 Apr 2015 17:01:12 +0200
Subject: [PATCH] run: Use raw binary object for base-hw on Muen

---
 tool/run/boot_dir/hw | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 81b9b1cce..235ca407e 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -144,6 +144,14 @@ proc run_boot_dir {binaries} {
 
 	# offer ELF image
 	set elf_img "[run_dir]/image.elf"
+
+	# Use raw binary object for base-hw on Muen
+	if {[have_spec "hw_x86_64_muen"]} {
+		set raw_img "[run_dir]/image.raw"
+		exec [cross_dev_prefix]objcopy -O binary bin/$core_bin $raw_img
+		exit 0
+	}
+
 	if {[have_spec "x86_64"]} {
 		# as startup is done in 32 bit mode, GRUB expects a 32 bit image
 		exec [cross_dev_prefix]objcopy -O elf32-i386 bin/$core_bin $elf_img