tree 49c03573f56a09f013284bd2abb90cbc2b77e3c5
parent be4ab9792ceddb48f6bcd49f10f795b50d00b6c5
author Michael Brooks <michaelbrooks@google.com> 1715026666 +0000
committer Michael Brooks <michaelbrooks@google.com> 1715108697 +0000

Support running a different Kelvin benchmark binary

Allow passing in of 'kelvin_benchmark_info' which is a dictionary
that contains the needed info for the kelvin_binary (e.g srcs).
This allows the benchmark to run a different Kelvin binary while
still keeping the SEC and SMC ones the same.

Tested:
best_of_times, silence with ISS+FPGA

Change-Id: Iabba3fd2e19524a66c3f530f095828e5201d0e9c