br c8155095b6 Deactivate IRQ resource by calling to intr_deactivate_irq(). ...

This is the part of INTRNG support that was missed.

Sponsored by:	DARPA, AFRL

2019-05-01 15:03:12 +00:00

..

conf

Configure hz=100 in the QEMU target.

2019-01-03 16:11:21 +00:00

include

RISC-V: initialize pcpu slightly earlier

2019-04-07 20:12:24 +00:00

riscv

Deactivate IRQ resource by calling to intr_deactivate_irq().

2019-05-01 15:03:12 +00:00