[lkml]   [2006]   [Apr]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: Which device did I boot from?
Andrey Borzenkov wrote:

>> If you choose the (experimental) CONFIG_EDD option in your kernel then,
>> with cooperation of your BIOS, you'll have a /sys/firmware/edd with at
>> least some info about the BIOS boot device. For me:
> I am sorry but it does not tell about boot device. It contains all hard disks
> enumerated via EDD interface. I do not see any information
> under /sys/firmware/edd that would have allowed to guess boot device.

int13_dev80 is the bootdevice. Or that used to be the case with things
such as booting from SCSI at least. Don't know about booting from, say, USB.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2006-04-15 11:45    [W:0.071 / U:16.180 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site