diff --git a/src/arch/riscv/machine/hardware.c b/src/arch/riscv/machine/hardware.c
index 9ed52d290..5b95db584 100644
--- a/src/arch/riscv/machine/hardware.c
+++ b/src/arch/riscv/machine/hardware.c
@@ -237,10 +237,8 @@ BOOT_CODE void initLocalIRQController(void)
 {
     printf("Init local IRQ\n");
 
-#ifdef CONFIG_PLAT_HIFIVE
     /* Init per-hart PLIC */
     plic_init_hart();
-#endif
 
     /* Enable timer and external interrupt. If SMP is enabled, then enable the
      * software interrupt also, it is usec as IPI between cores. */