24d07fdc14
Signed-off-by: Julien Olivain <ju.o@free.fr> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
14 lines
382 B
Bash
Executable File
14 lines
382 B
Bash
Executable File
#! /bin/sh
|
|
|
|
SCRIPT_DIR="$(dirname "$0")"
|
|
BR_BASEDIR="$(readlink -e "${SCRIPT_DIR}/../../..")"
|
|
|
|
# Use Buildroot host spike by default, but allow the caller to
|
|
# redefine another spike binary
|
|
: "${SPIKE:=${BR_BASEDIR}/output/host/usr/bin/spike}"
|
|
|
|
exec "${SPIKE}" \
|
|
--initrd "${BR_BASEDIR}"/output/images/rootfs.cpio \
|
|
"${@}" \
|
|
"${BR_BASEDIR}"/output/images/fw_payload.elf
|