On Mon, Jun 01, 2015 at 11:42:45AM +0200, Helge Deller wrote: > (...) > > Other than that I noticed that I'm unable to boot the linux-4.0 debian kernel > on my machine. Anyone has observed that too? > aboot messages: > aboot> b vmlinuz-4.0.0-2-alpha-generic ro root=/dev/sda3 console=ttyS0 > aboot: loading uncompressed vmlinuz-4.0.0-2-alpha-generic... > aboot: loading compressed vmlinuz-4.0.0-2-alpha-generic... > aboot: Can't load kernel. > Multiple BSS segments (PHDR 0)
I'm not sure how much help this is, but I'm currently running 4.1.0-rc4 built from the standard kernel.org source tree with gcc 4.9.2 (Debian 4.9.2-15+alpha) on my PWS 433au. It's rare that I even try the Debian-packaged kernels for alpha, much less run them for any length of time. Full kernel builds now take a bit longer than 24 hours on this system, but at least I can still do them. The tool chain seems solid enough. --Bob -- To UNSUBSCRIBE, email to debian-alpha-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150601124810.ga31...@gherkin.frus.com