040000 tree 7a0071bc5c3e39eca31743bc34023946659deba1	arch
040000 tree d4790601dbfd14a6f7decbe945a5ddac7dac2d0b	armv4
100644 blob 6622a6f9d4e1cec7fe91e54e396549e4509b3a6a	armv7.h
040000 tree 5b0ce409fdd982ff092264eef41506998c27fcfc	armv7
100644 blob 60afb447f77eae02b6071d820199930f14a36b9a	clocks.h
040000 tree 038974caf103a710b47d0c10be4731e98686618a	smp
100644 blob c50e664df19dfa208121e1f0dea8c6bf11909810	stdint.h