Re: Bug#691576: GDB still broken with 3.11.10-1
And happy new year!
2013/12/20 Ben Hutchings <email@example.com>:
>> > I actually tried building the kernel like that, so you could try the
>> > packages in:
>> > http://people.debian.org/~benh/packages/wheezy-ia64-kernel-O1/
>> Was your O1-compiled kernel working fine?
> I have no idea as no-one has reported their results yet.
It seems that optimization settings have impact on this problem.
Ben, I couldn't install your 3.2 kernel version (too old for my
current Debian install).
However, I've recompiled with -O1 a -O2 non-working kernel
configuration on my Gentoo install. No problem with -O1 :-)
Keep in mind that this is just an observation on a single kernel
version/flavour at the moment. Future will tell us if this problem
really comes up with optimization settings.