OpenBSD manual page server

Manual Page Search Parameters

PLIC(4) Device Drivers Manual (riscv64) PLIC(4)

plicPlatform-Level Interrupt Controller

plic* at fdt?

The plic driver supports the RISC-V Platform-Level Interrupt Controller (PLIC).

June 18, 2021 OpenBSD-current