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?
2764
Age (days ago)
2770
Last active (days ago)
1 comments
2 participants
participants (2)
-
Anna.Lyons＠data61.csiro.au -
송대영