8219955118
This defconfig enables edk2 UEFI shell and grub2 riscv64-efi boot of a Linux Kernel. Signed-off-by: Julien Olivain <ju.o@free.fr> Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
12 lines
296 B
Bash
Executable File
12 lines
296 B
Bash
Executable File
#! /bin/sh
|
|
|
|
set -e
|
|
|
|
BOARD_DIR="$(dirname "$0")"
|
|
|
|
cp -f "${BOARD_DIR}"/grub.cfg "${BINARIES_DIR}"/efi-part/EFI/BOOT/grub.cfg
|
|
|
|
# The QEMU riscv64 virt machine expects flash devices to be 32M.
|
|
truncate -s 32M "${BINARIES_DIR}"/RISCV_VIRT_CODE.fd
|
|
truncate -s 32M "${BINARIES_DIR}"/RISCV_VIRT_VARS.fd
|