Searched defs:CONFIG_OPTIMISATION_LEVEL (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile13 CONFIG_OPTIMISATION_LEVEL=-O1 macro

Completed in 22 milliseconds