how are testdata/bzImage_lz4_isolated and testdata/bzImage_lz4_isolated.lz4 generated?

[sten0]

Hi,

At this time it looks like no one else currently has time/motivation to package v4 in Debian, so I'm giving it a shot. The only blocker that I encountered are the files

testdata/bzImage_lz4_isolated
testdata/bzImage_lz4_isolated.lz4

which aren't Debian Free Software Guidelines compliant. Yes, I understand they're almost certainly generated from GPL-2-only Linux kernel source, and that this seems pedantic...but if these files are generated from GPL-2-only Linux source then this project may technically have a legal obligation to distribute a copy of the source used to build them.

These files could be generated at build-time (or grab a copy from /boot, then decompress) and then compressed using the upstream lz4 tool; This would be be a step towards resolving #151.

Alternatively, please document that these files are GPL-2-only, and provide steps to reproduce them. To be fair, I'm not sure if this option fulfils the legal obligations of the GPL, because I'm not a lawyer and this is not legal advice.