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?