Synopsis: CPU frequency setting does not seem to work on Raspberry Pi 4 State-Changed-From-To: open->feedback State-Changed-By: gdt%NetBSD.org@localhost State-Changed-When: Tue, 23 Apr 2024 13:04:29 +0000 State-Changed-Why: works in 10.0; asked for retesting