Searched defs:KERNEL_DEPS (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/l4v/spec/cspec/c/ | ||
H A D | kernel.mk | 73 KERNEL_DEPS := $(shell find ${SOURCE_ROOT} -name .git -prune -o -name __pycache__ -prune -o -type f -print) macro |
Completed in 83 milliseconds