This is xnu-10002.1.13. See this file in:
include ../Makefile.common

DSTROOT?=$(shell /bin/pwd)
TARGETS := $(addprefix $(DSTROOT)/, measure_tlbs testsp)

CFLAGS += $(ARCH_FLAGS) -isysroot $(SDKROOT)

all: $(TARGETS)

clean:
	rm -f $(TARGETS)

$(TARGETS): $(DSTROOT)/%: %.c
	$(CC) $(CFLAGS) -o $@ $<