Arve Hjønnevåg a17d19dae0 [dev][timer][arm_generic] Add arm64 support and select timer based on TIMER_ARM_GENERIC_SELECTED
TIMER_ARM_GENERIC_SELECTED can be set to CNTP, CNTPS or CNTV. CNTP is
used by default.

Change-Id: Idbce233062f244cee8245f48c6ad272111b7c58b
2015-03-19 18:01:12 -07:00
2015-03-18 20:43:13 -07:00
2015-01-29 11:00:33 +01:00
2015-01-29 20:38:19 -08:00
2013-02-09 13:25:38 -08:00

lk

The LK embedded kernel

Description
No description provided
Readme MIT 39 MiB
Languages
C 80.6%
C++ 10.8%
Assembly 3.6%
Makefile 3.4%
Python 1%
Other 0.6%