Warning: session_start(): open(/tmp/sess_8e9db91050bdbaa4b79d2e1d99cde849, 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]