embox

1
package embox.driver.clock
2

3
module sp804 {
4
    source "sp804_timer.c"
5

6
    option number base_addr=0x10011000
7
    option number irq_nr=34
8
    option number target_freq=1000
9
    option number TIMCLK_freq=1000000
10

11
    @NoRuntime depends embox.kernel.time.clock_source
12
    depends embox.driver.interrupt.irqctrl_api
13
}
14