*~
*.so
/src/tools/simple-kernel-timer/kp_reader
