HomeFreeBSD

o Add driver for PLIC (Platform-Level Interrupt Controller) device.

Description

o Add driver for PLIC (Platform-Level Interrupt Controller) device.
o Convert interrupt machdep support to use INTRNG code.

Sponsored by: DARPA, AFRL

Details

Provenance
brAuthored on
Parents
rS335006: Add simplebus-like RISC-V SoC bus.
Branches
Unknown
Tags
Unknown