package embox.driver.cache

module pl310 {
	option string log_level="LOG_NONE"
	option number base_addr

	source "pl310.c"

	depends embox.kernel.timer.sleep
}
