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

/seL4-refos-master/kernel/manual/
H 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_includ
[all...]

Completed in 22 milliseconds