@SuperDicq @davidrevoy I downloaded a copy of the binary of GNU Linux-libre, including almost all of the free drivers, from; https://linux-libre.fsfla.org/pub/linux-libre/rpmfreedom/7.1/RPMS/x86_64/

That is; 145MiB core elf and modules (606MiB extracted (still compressed)) + 2.0 MiB headers (9.1MiB extracted (still compressed)) + 316KiB free peripheral software needed for some drivers, which equals; ~615MiB.

Adding the ~1MiB of proprietary software disguised as arrays of numbers in linux.git to that, that works out to a linux.git size of ~616 MiB (what a coincidence).

But that number doesn't include the proprietary software components of many drivers, as proprietary peripheral software, which is stored in "linux-firmware.git; https://mirrors.edge.kernel.org/pub/linux/kernel/firmware/linux-firmware-20260622.tar.xz

That is ~1.8104GiB, minus ~316KiB of free peripheral software included, working out to; ~1.8101GiB.

There is quite a bit of duplication, due to a binaries that is slightly different, being a whole separate file on disk - but each file has corresponding source code, which isn't provided.

So that works out to Linux being; ~2.4116GiB in total for the binaries.

That works out to <25% of Linux being free software, while >75% of Linux being proprietary software.