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

/seL4-camkes-master/tools/rumprun/platform/xen/
H A DMakefile37 RUMP_OBJS= $(OBJ_DIR)/xen/minios.o $(patsubst %.c,$(OBJ_DIR)/%.o,$(rump-src-y)) macro

Completed in 24 milliseconds