ons 2013-12-11 klockan 15:00 +0100 skrev Marco Martin:
That's the version I modified.
https://github.com/hno/allwinner-boot/tree/d29c34b7f221979724275b4861c50de3b...
the full source is available
It's not. Sources are missing for at least the NAND driver.
but most files gained a gpl header only revisions after
Which also includes the NAND driver source drop to make it possible to GPL.
So sorry, no the version you built can not be distributed under a GPL license. Not because the source files you have is not GPL licensed (they are by separate discussion), but because some parts are provided binary-only which is incompatible with GPL.
Regards Henrik