Re: [seL4] seL4 benchmark cache unable.

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?