package embox.driver.clock

module sp804 {
    source "sp804_timer.c"

    option number base_addr=0x10011000
    option number irq_nr=34
    option number target_freq=1000
    option number TIMCLK_freq=1000000

    @NoRuntime depends embox.kernel.time.clock_source
    depends embox.driver.interrupt.irqctrl_api
}
