embox

1
package embox.driver.clock
2

3
module e2k_clock {
4
	option string log_level="LOG_ERR"
5

6
	/* 0x20300000 0x81200000 0x80500000 0x81200000 0x83200000 */
7
	/* if base_addr == 0 the base address is received form MC_TIMER */
8
	option number base_addr=0
9
	option number irq_num=2
10
	option number freq=10
11
	/* TODO must be in bootinfo block */
12
	/* 
13
	8CB: 0x114
14
	1C+: 0x88
15
	*/
16
	option number mc_timer_shift = 0x88
17

18
	source "e2k.c"
19

20
	depends embox.kernel.irq
21
	@NoRuntime depends embox.kernel.time.clock_source
22
}
23