#!/bin/sh

xlen="$(readelf -h $1 | grep 'Class' | cut -d: -f 2 | xargs echo | sed 's/^ELF//')"
arch="${ARCH_STR#*=}"
spike \
    --isa=${arch} \
    ${PK_PATH}/pk${xlen} "$@"