From 1e424a6fd2393dc085021f6454b702f5b17c011b Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 6 Oct 2014 13:27:33 +0200
Subject: [PATCH] run: mark ext2 partition as bootable

When building for the 'disk' run target, the ext2 partition needs to be
marked as bootable to be booted from on some hardware.

Fixes #1270
---
 tool/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index 9df16f38e..8eef5db70 100755
--- a/tool/run
+++ b/tool/run
@@ -485,7 +485,7 @@ proc create_disk_image_from_run_dir { } {
 	# merge final image from GRUB2 head and partition
 	exec dd if=$grub_img  of=$disk_img status=noxfer bs=1M count=1  2>/dev/null
 	exec dd if=$part1_img of=$disk_img status=noxfer bs=1M seek=1   2>/dev/null
-	exec parted -s $disk_img -- rm 1 mkpart primary 2048s -1s
+	exec parted -s $disk_img -- rm 1 mkpart primary 2048s -1s set 1 boot on
 
 	exec rm -f $part1_img