Searched refs:KERNEL_CMAKE_EXTRA_OPTIONS (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/l4v/spec/cspec/c/
H A DMakefile10 KERNEL_CMAKE_EXTRA_OPTIONS := ${KERNEL_CMAKE_EXTRA_OPTIONS} macro
13 KERNEL_CMAKE_EXTRA_OPTIONS += -DSORRY_BITFIELD_PROOFS=${SORRY_BITFIELD_PROOFS}
H A Dkernel.mk112 -DCSPEC_DIR=${CSPEC_DIR} ${KERNEL_CMAKE_EXTRA_OPTIONS} \
/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile35 KERNEL_CMAKE_EXTRA_OPTIONS := -DKernelOptimisation=${CONFIG_OPTIMISATION_LEVEL} macro

Completed in 39 milliseconds