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?

jj