OPTIONS/libkerncpp optional libkerncpp
OPTIONS/kdebug optional kdebug
+OPTIONS/gprof optional gprof
# libkern
libkern/c++/OSNumber.cpp optional libkerncpp
libkern/c++/OSOrderedSet.cpp optional libkerncpp
libkern/c++/OSRuntime.cpp optional libkerncpp
+libkern/c++/OSRuntimeSupport.c optional libkerncpp
libkern/c++/OSSerialize.cpp optional libkerncpp
libkern/c++/OSSet.cpp optional libkerncpp
libkern/c++/OSString.cpp optional libkerncpp