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

/seL4-refos-master/projects/refos/impl/apps/file_server/
H A DMakefile20 OFILES := archive.o macro
/seL4-refos-master/apps/file_server/
H A DMakefile20 OFILES := archive.o macro
/seL4-refos-master/projects/refos/impl/apps/process_server/
H A DMakefile26 OFILES := archive.o macro
/seL4-refos-master/apps/process_server/
H A DMakefile26 OFILES := archive.o macro

Completed in 60 milliseconds