git: 0a99422970d7 - main - Move mips and arm to 1000Hz by default.

[Alexey Dokuchaev]

On Thu, Jun 17, 2021 at 02:01:05AM +0000, Warner Losh wrote:
> commit 0a99422970d7fbdb1e17724339a8dc37082f3431
> 
>     Move mips and arm to 1000Hz by default.
>     
>     armv6 and armv7 systems already were 1000Hz. The other armv5 were a
>     mix of 100 and 1000. This changes them to 1000. Should there be
>     issues, we can add options HZ=100 to the systems that have bad
>     performance at the drop of a hat.

Do we have this 1000Hz vs. 100Hz thing documented somewhere for those
who are thinking about tuning it?  There are various "optimization"
howto's floating on the Internet here and there which recommend this
change, so it would be nice to have some definitive documentation on
the subject, e.g. in our Handbook or Wiki.

./danfe