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?
Show replies by date
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(a)sel4.systems> on behalf of 송대영
<scribnote5(a)gmail.com>
Sent: Tuesday, 14 August 2018 6:37 PM
To: devel(a)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?