#!/bin/bash
# Pass the .elf file (and optional extra arguments) to this script

# Run the ICEmu emulator with the appropriate flags
icemu \
    -p mock_clockfunc_plugin.so \
    -p riscv32_rocketchip_syscall_plugin.so \
    "$@"

