driver location for the hardware version : /rigol/driver/hdcode_gpio.ko
root@rigol:~/rigol/driver# modinfo hdcode_gpio.ko
filename: /rigol/driver/hdcode_gpio.ko
license: GPL
description: gpio-hdcode devices driver
author: rigol sn03950
depends:
intree: Y
vermagic: 4.4.126 SMP preempt mod_unload modversions aarch64
All secrets have been revealed,
hang on... does not this indicate that rigol has this kernel module under gpl license? and also 'intree' to mean it is indeed kernel tree?
because under gpl terms it's necessary to provide the full source code (for this kernel module), at least by writing when requested. or by some other mechanism(s).
so to obtain this kmod code, it remains still. but rigol should be legally obliged to provide it to any customers (at least those who purchased the oscilloscope in 1st instance, and then those customers are subsequently not obliged to sign nda, they are in turn themselves free to openly redistribute it).
this is assuming it is correct infos there (about the gpl license, and it being intree). that this is not been honestly mistaken. and it assumes rigol respects the terms of the linux kernel, and the terms of the gpl license?