mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-10-14 12:56:03 +01:00
We add simple ipi framework which will select and use ipi driver based on details in FDT passed by previous booting stage. Signed-off-by: Anup Patel <anup.patel@wdc.com> Reviewed-by: Atish Patra <atish.patra@wdc.com>