philip d04bb84782 riscv: restore default HZ=1000, keep QEMU at HZ=100 ... This reverts r351918 and r351919. Discussed with: br, ian, imp		2019-09-07 05:13:31 +00:00
..
DEFAULTS
GENERIC	sys: Remove DEV_RANDOM device option	2019-06-21 00:16:30 +00:00
QEMU	riscv: restore default HZ=1000, keep QEMU at HZ=100	2019-09-07 05:13:31 +00:00