1
0
Andrew Waterman 5566bf1b13 Don't route PLIC interrupts through PRCI
The PLIC is local to the Coreplex, and PRCI should not be.
2016-09-14 11:01:05 -07:00
..
2016-09-09 11:06:42 -07:00