Draft of ISA config files for benchmarking