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

/seL4-l4v-master/l4v/spec/cspec/c/
H A DMakefile7 KERNEL_BUILD_ROOT := build/${L4V_ARCH} macro
19 cspec: ${UMM_TYPES} ${KERNEL_BUILD_ROOT}/kernel_all.c_pp
20 cd ${KERNEL_BUILD_ROOT} && ninja kernel_theories
23 rm -rf ${KERNEL_BUILD_ROOT}
H A Dkernel.mk9 # and assumes that KERNEL_BUILD_ROOT has already been set to specify the build location.
55 UMM_TYPES := ${KERNEL_BUILD_ROOT}/umm_types.txt
76 ${KERNEL_BUILD_ROOT}/kernel_all.c_pp: ${KERNEL_BUILD_ROOT}/.cmake_done
77 cd ${KERNEL_BUILD_ROOT} && ninja kernel_all_pp_wrapper
78 cp -a ${KERNEL_BUILD_ROOT}/kernel_all_pp.c $@
81 ${KERNEL_BUILD_ROOT}/kernel.elf: ${KERNEL_BUILD_ROOT}/kernel_all.c_pp
82 cd ${KERNEL_BUILD_ROOT} && ninja kernel.elf
84 ${KERNEL_BUILD_ROOT}/kerne
[all...]
/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile34 KERNEL_BUILD_ROOT := ${TARGET_DIR}/build macro
88 ${KERNEL_PATHS}: ${TARGET_DIR}/%: ${KERNEL_BUILD_ROOT}/%
102 KERNEL_ALL_PP_FILES := ${L4V_KERNEL_BUILD_PATH}/kernel_all.c_pp ${KERNEL_BUILD_ROOT}/kernel_all.c_pp

Completed in 53 milliseconds