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?
Hi,
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.
Cheers,
Anna.
________________________________ 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?