embox

1
package embox.driver.clock
2

3
module raspi_systick {
4
	option number base_addr = 0x20003000
5

6
	source "raspi_systick.c"
7

8
	@NoRuntime depends embox.kernel.time.clock_source
9
	depends embox.driver.periph_memory
10
}
11