040000 tree f0cc85194ed3888cee0452495010afccd7434dec	python
040000 tree 887dc3ea6c7f0b6b6edce547024a47bdd7aac631	syscalls
040000 tree f25f7feb73fc2744c4e46cce3426f4447a304fd5	system-gdbinit