[kernel] dynamic timer support from external sources
2 files changed