Comment 2 for bug 1819444

Yup, the userland repo does indeed contain the source for the libraries concerned (libbcm_host.so, libvcos.so, and libvchiq_arm.so). It also, as plugwash notes, has a GPL-compatible 3-clause BSD license.

The bit I haven't been able to verify yet is whether the libraries within the libraspberrypi0 package are the versions built from the https://github.com/raspberrypi/userland repo (they likely are as that repo still sees a fair bit of activity and that package is updated pretty regularly too - still, it'd be nice to verify this for certain), in which case it would simply be a matter of d/copyright being out of date.

Anyway, I'll ask Serge if he can fix up the license for the next release.