<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet href="tests.xsl" type="text/xsl"?>

<TEST>
<NAME>EDD</NAME>

<DESCRIPTION>
This test verifies if the BIOS directs the operating system on which storage
device to use for booting (EDD information). This is important for systems that
(can) have multiple disks. Linux distributions increasingly depend on this info
to find out on which device to install the bootloader.
</DESCRIPTION>

<FAIL>
<MSG>Boot device 0x80 does not support EDD</MSG>
<DETAILS>
Could not open the dir /sys/firmware/edd/int13dev%x/host_bus where %x is the device number.
</DETAILS>
</FAIL>

<FAIL>
<MSG>Duplicate MBR signature</MSG>
<DETAILS>
A duplicate EDD signature value is detected. The most likely cause for this is that the BIOS cleared CF on an non-existant disk for int $13 function 2 (read sectors)
</DETAILS>
</FAIL>

<WARN>
<MSG>No BIOS provided EDD information for multi-disk OS installs</MSG>
<DETAILS>
Found message "EDD information not available" in kernel dmesg.
</DETAILS>
</WARN>

<WARN>
<MSG>device %x: PCI device %y does not match %x</MSG>
<DETAILS>
Where %x is the device number and and %y is the pci device number.
</DETAILS>
</WARN>

<WARN>
<MSG>device %x: No matching MBR signature (%s) found for this disk</MSG>
<DETAILS>
Where %x is a device number and %y is a device signature (retrieved from /sys/firmware/edd/int13_dev%x/mbr_signature).
</DETAILS>
</WARN>

<WARN>
<MSG>Multiple disks match signature %x</MSG>
<DETAILS>
Where %x is a device signature (retrieved from /sys/firmware/edd/int13_dev%x/mbr_signature).
</DETAILS>
</WARN>

<INFO>
<MSG>device %x: The boot disk has Linux device name /dev/%y</MSG>
<DETAILS>
Where %x is the device number, and %y is the device name. (e.g. device 80: The boot disk has Linux device name /dev/hda).  You will get this meeesage when reporting about device 0x80.
</DETAILS>
</INFO>

<INFO>
<MSG>device %x: This disk has Linux device name /dev/%y</MSG>
<DETAILS>
Where %x is the device number, and %y is the device name. (e.g. device 81: This disk has Linux device name /dev/hdc)
</DETAILS>
</INFO>

<INFO>
<MSG>device %x: The system boots from device %a %b %c</MSG>
<DETAILS>
Where %x is the device, %a is the device name, %b is the device channel, and %c is the device number. (e.g. device 80: The system boots from device 0000:00:1f.1 channel: 0 device: 0).  You will get this message when reporting about device 0x80.
</DETAILS>
</INFO>

<INFO>
<MSG>device %x is provided by device %a %b %c</MSG>
<DETAILS>
Where %x is the device, %a is the device name, %b is the device channel, and %c is the device number. (e.g. device 81 is provided by device 000:00:1f.2 channel: 0 device: 0).
</DETAILS>
</INFO>

</TEST>
