mirror of
https://github.com/saymrwulf/pulp-runtime.git
synced 2026-05-14 20:48:09 +00:00
19 lines
458 B
Bash
19 lines
458 B
Bash
#!/bin/bash -e
|
|
|
|
export PULPRT_TARGET=pulpissimo
|
|
export PULPRUN_TARGET=pulpissimo
|
|
export USE_CV32E40P=1
|
|
# use plusarg to pass simulation boot parameters instead of floating parameters
|
|
export CONFIG_PLUSARG_SIM=1
|
|
export CONFIG_USE_ZFINX=1
|
|
|
|
if [ -n "${ZSH_VERSION:-}" ]; then
|
|
DIR="$(readlink -f -- "${(%):-%x}")"
|
|
scriptDir="$(dirname $DIR)"
|
|
else
|
|
|
|
scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
|
|
|
|
fi
|
|
|
|
source $scriptDir/common.sh
|