Hi, I want to change seL4 benchmark configuration in ninja build tool. First, I want to change seL4's cache use.
Sencond, I want to change CPU core number. How can I change these configuration?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
