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?