diff options
Diffstat (limited to 'platform/fpga')
-rw-r--r-- | platform/fpga/ariane/Kconfig | 1 | ||||
-rw-r--r-- | platform/fpga/openpiton/Kconfig | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/platform/fpga/ariane/Kconfig b/platform/fpga/ariane/Kconfig index 0bc1597..5a720d9 100644 --- a/platform/fpga/ariane/Kconfig +++ b/platform/fpga/ariane/Kconfig @@ -3,6 +3,7 @@ config PLATFORM_ARIANE_FPGA bool select IPI_MSWI + select IRQCHIP_PLIC select SERIAL_UART8250 select TIMER_MTIMER default y diff --git a/platform/fpga/openpiton/Kconfig b/platform/fpga/openpiton/Kconfig index 0e4e3ba..973906e 100644 --- a/platform/fpga/openpiton/Kconfig +++ b/platform/fpga/openpiton/Kconfig @@ -3,6 +3,7 @@ config PLATFORM_OPENPITON_FPGA bool select IPI_MSWI + select IRQCHIP_PLIC select SERIAL_UART8250 select TIMER_MTIMER default y |