/source/hal/profiles/bare-metal/timer/include/