Searched refs:CONFIG (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile18 CONFIG=${L4V_ARCH}_verified.cmake macro
61 ${BUILDROOT}/.cmake_done: ${SOURCE_ROOT}/gcc.cmake ${SOURCE_ROOT}/configs/${CONFIG} ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
66 -DCMAKE_TOOLCHAIN_FILE=${SOURCE_ROOT}/gcc.cmake -C ${SOURCE_ROOT}/configs/${CONFIG} \
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common38 CONFIG=${L4V_ARCH}_verified.cmake
83 -DCMAKE_TOOLCHAIN_FILE=${ABS_SOURCE_ROOT}/gcc.cmake -C ${ABS_SOURCE_ROOT}/configs/${CONFIG} \
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dthreads.tex195 is configured to include them (when CONFIG\_HARDWARE\_DEBUG\_API is set). The hardware
269 threads when configured to do so (when CONFIG\_HARDWARE\_DEBUG\_API is set). To
341 \texttt{CONFIG\_NUM\_DOMAINS} and the global variable \texttt{ksDomSchedule}.
H A Dbootup.tex97 \texttt{seL4\_Word} & \texttt{numIOPTLevels} & number of I/O page-table levels (-1 if CONFIG\_IOMMU unset) \\

Completed in 82 milliseconds