Hi Riccardo, On Thu, 2025-10-30 at 10:09 +0100, Riccardo Mottola wrote: > thanks. that bug is it. I upgraded that package, then initramfs > generated correctly and I could try to boot into the new kernel > succesfully. Still I hape the mixed time64_t issue, but I wanted to > check the kernel.
To resolve the time64_t issue, you need to download the missing packages from snapshot.debian.org and install them manually. Run "apt install -f" to see what's missing. > Is atyfb for ATI Rage still in the kernel? > Is PPC 750 still supported? Try to login via SSH and see what's going on. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913

