python/
syscalls/
system-gdbinit/