Hallo,
habe gerade mal nachgeschaut: das ist ein eigenes System. Es gibt "Scaling governor" (die festlegen, wie und wann CPUs hochtakten) und "idle governors", die festlegen, wie und wann sich ein CPU-Kern, schlafen legt, wenn nichts zu tun ist. Also quasi das Gegenteil ☺
Allerdings kann ich gerade nicht herausfinden, wie man den laufen idle governor feststellt... Hat aber auch nix mit dem Artikel hier zu tun.
Gruß, noisefloor