>Or at least, I'm past my pain, thanks to a lot of help from >Robert and Len. > >To recap: > >The DSDT in my BIOS was very broken, such that ACPI didn't load up >properly. This meant I was having trouble reading the data >from my BIOS >using /proc/acpi/dsdt. Does windows works with such broken BIOS ? - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html