> Handle 0x0001, DMI type 1, 27 bytes > System Information > Manufacturer: SAMSUNG ELECTRONICS CO., LTD. > Product Name: R40P/R41P > Version: 03YE > Serial Number: 493W93BP400266 > UUID: A02D6752-E31D-B211-8000-B088A6A8A834 > Wake-up Type: Power Switch > SKU Number: Not Specified > Family: Not Specified Does this system run any better or worse when booted with "acpi_osi=Linux"? thanks, -Len - 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
