portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

risc-v: call plic_init_hart() unconditionally

Browse source 
The function plic_init_hart() is part of the internal kernel API, so
every SOC's PLIC implementation has to provide it, even if it is
empty.

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider 2021-07-24 19:57:50 +02:00 committed by Kent McLeod
parent b21faf8a9c
commit 59e8aa73a8
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/arch/riscv/machine/hardware.c
View file

@ -237,10 +237,8 @@ BOOT_CODE void initLocalIRQController(void)
{ {
printf("Init local IRQ\n"); printf("Init local IRQ\n");
#ifdef CONFIG_PLAT_HIFIVE
/* Init per-hart PLIC */ /* Init per-hart PLIC */
plic_init_hart(); plic_init_hart();
#endif
/* Enable timer and external interrupt. If SMP is enabled, then enable the /* Enable timer and external interrupt. If SMP is enabled, then enable the
* software interrupt also, it is usec as IPI between cores. */ * software interrupt also, it is usec as IPI between cores. */