Hello, Michael Kelly, le mer. 17 sept. 2025 20:14:52 +0100, a ecrit: > Is it worth me putting in any effort to address it at all I don't think it's really worth putting efforts in 32bit kernels. Linux is abandoning it, people start abandoning porting software to 32bit, and it will stop working by 2038 anyway. Samuel