|In reply to Comment 193 (Sammy Nordström):
"For many, it's simply not worth the effort and much easier to just stay away from anything licensed under the GPL."
The effort of posting a few extra files is hardly that great. Ten minutes work at most.
As you say, if people don't want to release source code, they should not develop under the GPL. Nothing prevented a BIOS for the AmigaOne being coded from scratch - but the extra time involved would have been vastly greater than the time it takes to post the source code files.