does anyone know of a way to determine the name of the boot device from
within a php page, or from the command line? i can see devices identified
in the system log, but how can i extract that? is there a file created at
boot time, or a global variable? or is there some way to parse dmesg
output or system.log in php?