Ruslan Bukin c43e3c8659 PLIC driver was sponsored by ECATS contract, not CTSRD one.		2018-06-21 11:52:09 +00:00
..
conf	Include VirtIO devices to the GENERIC configuration file.	2018-06-12 17:55:40 +00:00
include	o Add driver for PLIC (Platform-Level Interrupt Controller) device.	2018-06-12 17:45:15 +00:00
riscv	PLIC driver was sponsored by ECATS contract, not CTSRD one.	2018-06-21 11:52:09 +00:00