original_kernel/lib/vdso
..
Kconfig
Makefile
gettimeofday.c