chipyard/software/coremark/marshal-configs
coremark
