Hi All,I am looking for tools(Linux or w*****s) for editing ACPI tables.Can you advise me some good tools. Also I would like to know how BIOS engineers populate the ACPI tables? Which tools they use?Thanks,Ram