This is xnu-8019. See this file in:
# options

# OPTIONS/libkerncpp                                          optional libkerncpp
# OPTIONS/kdebug                                              optional kdebug
# OPTIONS/gprof                                               optional gprof
OPTIONS/config_dtrace										optional config_dtrace

# libsa

libsa/bootstrap.cpp                                           standard