Personal tools

Linux bios and rockbox

From GPLv3 Wiki

Both Linux bios and rockbox have to link a binary VGA code with some gpl code...and that is illegal because it's a GPL violation could we permit that in the GPLv3?