On 07/04/2018 05:47 PM, Eduardo Habkost wrote: > On Wed, Jul 04, 2018 at 04:56:44PM -0300, Philippe Mathieu-Daudé wrote: >> On 06/28/2018 07:45 PM, Philippe Mathieu-Daudé wrote: >>> On 06/28/2018 03:36 PM, Alex Bennée wrote: >>>> Philippe Mathieu-Daudé <f4...@amsat.org> writes: >>>>> On 06/28/2018 01:23 PM, Alex Bennée wrote: > [...] >>>>>>> + def test(self): >>>>>>> + kernel_url = ('http://people.debian.org/~aurel32/qemu/mips/' >>>>>>> + 'vmlinux-3.2.0-4-4kc-malta') >>>>>>> + kernel_hash = '592e384a4edc16dade52a6cd5c785c637bcbc9ad' >>>>>>> + kernel_path = self.fetch_asset(kernel_url, >>>>>>> asset_hash=kernel_hash) >>>>>> >>>>>> I'm uncomfortable using "random" binaries of websites as the source of >>>>>> our test kernels. I can see the justification for distro kernels as they >>>>>> at least have the infrastructure to rebuild from source if you really >>>>>> want to, but even then the distros don't cover a lot of the >>>>>> architectures. >> >> Alex: I could find all the Linux kernel I'm interested to console-test >> with Avocado on the http://snapshot.debian.org/ archive website. >> >> For example Aurelien's one (more up-to-date) is available here: >> http://snapshot.debian.org/package/linux-2.6/2.6.32-48/#linux-image-2.6.32-5-4kc-malta_2.6.32-48 >> >> I also added a SH-4 test for the SM501 series of Zoltan BALATON using >> the kernel extracted from this distrib built kernel: >> http://snapshot.debian.org/package/linux-2.6/2.6.32-30/#linux-image-2.6.32-5-sh7751r_2.6.32-30 >> >> The Debian distribution also provide the source package and the kernels >> can be simply rebuilt using make-kpkg or (make bindeb-pkg with more >> recent kernels). >> >> Would it be enough to satisfy the GPL requirements to provided that info >> in the header and use these handy pre-compiled kernels? > > (IANAL, etc.) > > Personally, I would try to avoid dealing with the "written offer" > option of the GPL, and just publish the sources in the same > medium (HTTP download repository, git repository, etc) as the > binary.
About Debian packaged kernel: the sources are in the same directory: http://snapshot.debian.org/package/linux-2.6/2.6.32-30/ linux-2.6_2.6.32.orig.tar.gz linux-image-2.6.32-5-sh7751r_2.6.32-30_sh4.deb linux-support-2.6.32-5_2.6.32-30_all.deb The other way, trying to compile a 2013 kernel is painful because the oldest GCC I succeed installing complain about many errors. The next absurd option I have is install a 2013 userland distrib and use qemu-user to cross^H^H^H^H(?? I dunno how to name it)-compile this kernel.... "backward-compile"? This might make sens with the coming quantum computers. > There was a related discussion about distribution of firmware > binaries at > <https://www.mail-archive.com/qemu-devel@nongnu.org/msg475674.html>. > It looks like we never applied the docs/firmware.txt patch, > though. This case is not about firmware we need to run QEMU, but Linux kernel to run acceptance tests using QEMU. But same legal stuffs, you know...