0
0
Fork
You've already forked opensbi
0

Default branch

74434f2558 · lib: sbi: Fix behavior on platform without HART protection · Updated 2026年01月08日 09:48:14 +01:00

Branches

43cace6c36 · lib: sbi: check result of pmp_get() in is_pmp_entry_mapped() · Updated 2024年08月02日 05:23:22 +02:00 coreboot-bot

422
5

b80a35864a · Add DT for 1G config · Updated 2023年08月24日 01:24:42 +02:00 coreboot-bot

717
18

057eb10b6d · lib: utils/gpio: Fix RV32 compile error for designware GPIO driver · Updated 2023年07月19日 08:21:59 +02:00 coreboot-bot

713
1

057eb10b6d · lib: utils/gpio: Fix RV32 compile error for designware GPIO driver · Updated 2023年07月19日 08:21:59 +02:00 coreboot-bot

713
1

40c9c86a51 · lib: Emulate HTIMEDELTA CSR for platforms not having TIME CSR · Updated 2019年09月28日 15:00:35 +02:00 coreboot-bot

1704
6