14 Aug
2018
14 Aug
'18
6:37 p.m.
Hi, I have question about sel4 benchmark cache unable.
I want to benchmark sel4 without cache but I don't know where is the location that configures cache.
Would you give advice?