1b08f503e9f7b231ef456418f9f1c8d30c51da6d
Shared between devices that have a cortex-a9 or cortex-a5 core. Seems that later cortex-a* devices implemented a different timer.
lk
The LK embedded kernel
Languages
C
80.6%
C++
10.8%
Assembly
3.6%
Makefile
3.4%
Python
1%
Other
0.6%