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

Reply via email to