Der Kleinrechner Raspberry Pi lässt sich zwar relativ einfach übertakten, für die CPU-Frequenz sorgt bisher jedoch hauptsächlich die Firmware. Der Linux-Kernel bekommt jetzt aber Treiber, um die CPU-Frequenz selbst zu steuern. (Linux-Kernel, Prozessor)
