package embox.driver.clock

module raspi_systick {
	option number base_addr = 0x20003000

	source "raspi_systick.c"

	@NoRuntime depends embox.kernel.time.clock_source
	depends embox.driver.periph_memory
}
