#!/bin/sh

xlen="$(readelf -h $1 | grep 'Class' | cut -d: -f 2 | xargs echo | sed 's/^ELF//')"

spike \
    --isa=RV${xlen}GC \
    ${PK_PATH}/pk${xlen} "$@"
