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?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
