embox

1
package embox.driver.interrupt
2

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

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

9
	source "gicv1.c"
10
	source "gic.h"
11

12
	depends embox.driver.periph_memory
13
}
14

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

18
	option number gicd_base /* GIC distributor base address */
19
	option number gicr_base /* GIC redistributor base address */
20

21
	source "gicv3.c"
22
	source "gic.h"
23

24
	depends embox.driver.periph_memory
25
}
26