It's unclear which cache you are talking about. 

There are debug features which allow you to turn off L2 and branch predictor etc for certain platforms, but it really depends on the platform itself as to what is supported.

Use the cmake configuration ui (cd build && ccmake ..) to see the available config options.



From: Devel <devel-bounces@sel4.systems> on behalf of ۴뿵 <scribnote5@gmail.com>
Sent: Tuesday, 14 August 2018 6:37 PM
To: devel@sel4.systems
Subject: [seL4] seL4 benchmark cache unable.
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?