Searched refs:KERNEL_DEPS (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile49 KERNEL_DEPS = $(shell find ${SOURCE_ROOT} -type f) macro
61 ${BUILDROOT}/.cmake_done: ${SOURCE_ROOT}/gcc.cmake ${SOURCE_ROOT}/configs/${CONFIG} ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common62 KERNEL_DEPS = $(shell find ${SOURCE_ROOT} -type f)
64 ${CSPEC_BUILD_PATH}/kernel_all.c_pp: ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
78 build/.cmake_done: ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}

Completed in 78 milliseconds