embox
1package embox.driver.clock
2
3module gptimer {
4source "gptimer.c"
5
6depends embox.kernel.irq
7depends embox.kernel.time.clock_source
8
9depends embox.driver.ambapp_api /*if ampa pnp enable option not required */
10option number gptimer_base=0x80000300 /* if amba pnp disable */
11option number irq_num=8 /* if amba pnp disable */
12}
13