#!/bin/bash -e

cat << EOF
menuentry "Flash BIOS" {
	linux16 /boot/memdisk iso
	initrd16 ###TO_BE_FILLED###
}
EOF
