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

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile21 CONFIG_DOMAIN_SCHEDULE=${PWD}/config_sched.c macro
61 ${BUILDROOT}/.cmake_done: ${SOURCE_ROOT}/gcc.cmake ${SOURCE_ROOT}/configs/${CONFIG} ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
71 -DKernelDomainSchedule=${CONFIG_DOMAIN_SCHEDULE} -G Ninja ${SOURCE_ROOT}
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common39 CONFIG_DOMAIN_SCHEDULE=${CSPEC_PATH}/config_sched.c
64 ${CSPEC_BUILD_PATH}/kernel_all.c_pp: ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
78 build/.cmake_done: ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
84 -DKernelDomainSchedule=$(realpath ${CONFIG_DOMAIN_SCHEDULE}) \

Completed in 79 milliseconds