Rui Salvaterra 3326b5e75c treewide: switch the timer frequency to 100 Hz ... Some targets select HZ=100, others HZ=250. There's no reason to select a higher timer frequency (and 100 Hz are available in every architecture), so change all targets to 100 Hz. Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>		2021-04-21 10:31:10 +01:00
..
i386	treewide: switch the timer frequency to 100 Hz	2021-04-21 10:31:10 +01:00
x86_64	treewide: switch the timer frequency to 100 Hz	2021-04-21 10:31:10 +01:00