Home
last modified time | relevance | path

Searched refs:Libsel4Dir (Results 1 – 1 of 1) sorted by relevance

/seL4-master/manual/
A DMakefile77 Libsel4Dir = ../libsel4 macro
89 InterfaceDtd = $(Libsel4Dir)/tools/sel4_idl.dtd
167 ${Stage}/object_invocations.h: ${Libsel4Dir}/include/interfaces/sel4.xml \
168 ${Libsel4Dir}/arch_include/x86/interfaces/sel4arch.xml \
169 ${Libsel4Dir}/arch_include/arm/interfaces/sel4arch.xml \
170 ${Libsel4Dir}/sel4_arch_include/aarch32/interfaces/sel4arch.xml \
171 ${Libsel4Dir}/sel4_arch_include/aarch64/interfaces/sel4arch.xml \
172 ${Libsel4Dir}/sel4_arch_include/ia32/interfaces/sel4arch.xml \
173 ${Libsel4Dir}/sel4_arch_include/x86_64/interfaces/sel4arch.xml \
174 ${Libsel4Dir}/arch_include/riscv/interfaces/sel4arch.xml

Completed in 27 milliseconds