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?