Searched defs:L4V_REPO_PATH (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/misc/
H A Disa-common.mk18 L4V_REPO_PATH := $(realpath $(dir $(lastword $(MAKEFILE_LIST)))..) macro
/seL4-l4v-10.1.1/l4v/spec/design/
H A DMakefile15 L4V_REPO_PATH := $(realpath $(dir $(lastword $(MAKEFILE_LIST)))../..) macro

Completed in 37 milliseconds