Warning: session_start(): open(/tmp/sess_10a9eb8bf4fa81385e9783e1f4eea5dc, 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 remove_efi_entry [Ben's notes]