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