[LinuxBIOS] IPR issues reg. VGA BIOS and ACPI

[Abins Jose]

Hi,

I went through the documentation for building and installing Linux
BIOS. It is mentioned that VGA BIOS and ACPI tables have to be
extracted from the original BIOS and included into Linux BIOS. Can the
resultant Linux BIOS image be distributed freely? If not, are there
other options than using the VGA BIOS and ACPI tables from the
original BIOS?

Thanks and regards,
Abins