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?
Hi,
Please see our docs on configuring cmake projects [1]. You can change KernelMaxNumNodes for the number of CPUs. There are some options to turn on and off caches too, depending on the platform. If the option you want is not there you will need to implement it yourself.
Cheers.
Anna.
?[1] https://docs.sel4.systems/Developing/Building/Using
________________________________ From: Devel devel-bounces@sel4.systems on behalf of 송대영 scribnote5@gmail.com Sent: Friday, 24 August 2018 4:05 PM To: devel@sel4.systems Subject: [seL4] seL4 benchmark configure
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?