24 Aug
2018
24 Aug
'18
4:05 p.m.
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?