Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bench/riscv: enable config of benchmark options
Applies patch from seL4#20. This was not merged previously as RISC-V did not implement the hardware and fault benchmarks, but this is no longer the case. Signed-off-by: Alwin Joshy <joshyalwin@gmail.com>
- Loading branch information