Peter is right. Unless you get a clear statement from the owner of the VGA BIOS you can't put it in the repo.

On Wed, May 16, 2018 at 3:17 PM Peter Stuge <peter@stuge.se> wrote:
Martin Kepplinger wrote:
> Unfortunately I haven't yet found a license applying to it. I'm
> thankful for hints.

I don't think it's possible to acquire the VGA BIOS standalone under
a license permitting redistribution. I think only IBVs may redistribute
as part of their products, and of course only according to their NDAs
with Intel.

If the file is somewhere on the internet that's great. If the host
seems stable maybe some automation to pull it into the build could
be added (with proper checksum), but I'd forget about storing it on
coreboot.org.


//Peter

--
coreboot mailing list: coreboot@coreboot.org
https://mail.coreboot.org/mailman/listinfo/coreboot