* Philipp Degler pdegler@rumms.uni-mannheim.de [070523 14:46]:
http://people.redhat.com/zaitcev/linux/ On this page you will find a tool called mptable that might help generating a valid mptable.c I already tried to get it right but no success so far :(. The mptable of asus a8n-e commercial bios seems to buggy though.
BTW, this tool is also available in LinuxBIOSv2/util/mptable since many years.
Vendor bioses do not feature maintained mptables/pirq tables anymore. If you want a correct hardware description, look at their ACPI tables