12 lines
403 B
Bash
12 lines
403 B
Bash
|
#!/bin/sh
|
||
|
|
set -eu
|
||
|
|
|
||
|
|
BOARD_DIR=$(dirname "$0")
|
||
|
|
|
||
|
|
# Create flash.bin TF-A FIP image from bl1.bin and fip.bin
|
||
|
|
dd if="${BINARIES_DIR}/bl1.bin" of="${BINARIES_DIR}/flash.bin" bs=1M
|
||
|
|
dd if="${BINARIES_DIR}/fip.bin" of="${BINARIES_DIR}/flash.bin" seek=64 bs=4096 conv=notrunc
|
||
|
|
|
||
|
|
# Override the default GRUB configuration file with our own.
|
||
|
|
cp -f "${BOARD_DIR}/grub.cfg" "${BINARIES_DIR}/efi-part/EFI/BOOT/grub.cfg"
|