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
participants (2)
-
Anna.Lyons@data61.csiro.au
-
송대영