1#!/bin/sh 2 3set -e 4 5BOARD_DIR=$(dirname "$0") 6 7# Detect boot strategy, EFI or BIOS 8if [ -d "$BINARIES_DIR/efi-part/" ]; then 9 cp -f "$BOARD_DIR/grub-efi.cfg" "$BINARIES_DIR/efi-part/EFI/BOOT/grub.cfg" 10else 11 cp -f "$BOARD_DIR/grub-bios.cfg" "$TARGET_DIR/boot/grub/grub.cfg" 12 13 # Copy grub 1st stage to binaries, required for genimage 14 cp -f "$TARGET_DIR/lib/grub/i386-pc/boot.img" "$BINARIES_DIR" 15fi 16