1.1 --- a/docs/src/user.tex	Thu Jun 14 15:54:57 2007 +0100
     1.2 +++ b/docs/src/user.tex	Thu Jun 14 18:01:07 2007 +0100
     1.3 @@ -3195,6 +3195,8 @@ writing to the VGA console after domain 
     1.4  \item [ edid=no,force ] (x86 only) Either force retrieval of monitor
     1.5    EDID information via VESA DDC, or disable it (edid=no). This option
     1.6    should not normally be required except for debugging purposes.
     1.7 +\item [ edd=off,on,skipmbr ] (x86 only) Control retrieval of Extended
     1.8 +  Disc Data (EDD) from the BIOS during boot.
     1.9  \item [ console\_to\_ring ] Place guest console output into the
    1.10    hypervisor console ring buffer. This is disabled by default.
    1.11    When enabled, both hypervisor output and guest console output