##
# Populate directory with binaries on seL4
#
proc run_boot_dir {binaries} {
	#
	# Collect contents of the ISO image
	#
	copy_and_strip_genode_binaries_to_run_dir $binaries

	build { kernel }
	exec cp bin/sel4 [run_dir]/sel4

	if {[have_include "image/iso"] || [have_include "image/disk"]} {
		#
		# Install isolinux/GRUB files and bender
		#
		install_iso_bootloader_to_run_dir

		#
		# Generate GRUB config file
		#
		set fh [open "[run_dir]/boot/grub/menu.lst" "WRONLY CREAT TRUNC"]
		puts $fh "timeout 0"
		puts $fh "default 0"
		puts $fh "\ntitle Genode on seL4"
		puts $fh " kernel /sel4"

		# if only one binary was specified, use it as root task
		if {[llength $binaries] == 1} {
			puts $fh " module /genode/[lindex $binaries 0]"

		# for real scenarios, use core as root task
		} else {
			puts $fh " module /genode/core"
		}
		close $fh
	}

	#
	# Build image
	#
	run_image
}