original_kernel/include/lib
..
libgcc.h