[LinuxBIOS] Potential copyright issues with decompiling ACPI tables?

[Ken Fuchs]

I haven't spend much time working with ACPI tables, but there may be
copyright issues with decompiling these on a COTS BIOS and using the
result in LinuxBIOS.  Does anyone agree there may be a copyright
concern here?  I don't think there is, but I'm not a copyright lawyer.

Sincerely,

Ken Fuchs