On Thu, 19 Jan 2023 16:18:57 +0100 Michal Suchánek <msuchanek@xxxxxxx> wrote: > On Thu, Jan 19, 2023 at 03:09:36PM +0000, Gary Guo wrote: > > On Tue, 17 Jan 2023 11:22:45 -0800 > > Lucas De Marchi <lucas.demarchi@xxxxxxxxx> wrote: > > > > > 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
