kernel_optimize_test/tools/include/nolibc
..
nolibc.h