Ubuntu
linux package

  1. Bug #1529381
  2. Comment #42

Comment 42 for bug 1529381

Revision history for this message
Colin Ian King (colin-king) wrote :

Verified on Vivid.

Steps used:

1. Hacked seabios to extend FADT to include 64 bit X_* PM registers which pointed to garbage address
2. Boot vivid QEMU VM with old kernel and modified (broken) BIOS
3. Observe kernel failures
4. Install new kernel (3.19.0.49-generic) #55 (Jan 22)
5. Add acpi_force_32bit_fadt_addr to kernel boot line
6. Reboot
7. Observe no kernel failures.
8. Boot with new kernel and original "sane" seabios BIOS
9. Observe no kernel failures.

Looks good to me on Vivid.