package embox.driver.interrupt

module gicv1 extends embox.driver.interrupt.irqctrl_api {
	option string log_level="LOG_INFO"

	option number gicd_base /* GIC distributor base address */
	option number gicc_base /* GIC CPU interface base address */

	source "gicv1.h"

	source "gicv1.c"
	source "gic.h"

	depends embox.driver.periph_memory
}

module gicv3 extends embox.driver.interrupt.irqctrl_api {
	option string log_level="LOG_INFO"

	option number gicd_base /* GIC distributor base address */
	option number gicr_base /* GIC redistributor base address */

	source "gicv1.h"
	source "gicv2.h"
	source "gicv3.h"

	source "gicv3.c"
	source "gic.h"

	depends embox.driver.periph_memory
}
