On Thu, 19 Jan 2023 16:18:57 +0100
Michal Suchánek [off-list ref] wrote:
On Thu, Jan 19, 2023 at 03:09:36PM +0000, Gary Guo wrote:
quoted
On Tue, 17 Jan 2023 11:22:45 -0800
Lucas De Marchi [off-list ref] wrote:
quoted
And the additional 0's should compress well
so I'm not sure the additional size is that much relevant here.
I am not sure why compression is mentioned here. I don't think section
in .ko files are compressed.
There is the option to compress the whole .ko files, and it's commonly
used.
Hi Michal,
I am aware that there is an option but I am surprised to hear that it's
commonly used. I don't think that's enabled by default, and certainly
Debian/Ubuntu does not have it enabled.
Best,
Gary