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
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.
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
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.