Warning: session_start(): open(/tmp/sess_f8f0999038e5a1a4e2acfd6b27ad38ad, O_RDWR) failed: No space left on device (28) in /var/www/html/inc/init.php on line 265
Warning: session_start(): Failed to read session data: files (path: ) in /var/www/html/inc/init.php on line 265
Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/inc/init.php:265) in /var/www/html/inc/auth.php on line 432
Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/inc/init.php:265) in /var/www/html/inc/actions.php on line 38 power_scaling_cpufreq [Ben's notes]
![[root]](/doku.php?id=power_scaling_cpufreq&ns=&tab_files=files&do=media&tab_details=history&image=schermafbeelding_2014-06-10_om_23.27.06.png){kind=link}
