On Sun, Apr 06, 2014 at 05:10:45PM +0200, Christoph Biedl wrote: > Did not remember as a wasn't aware of that. Indeed: > > # CONFIG_FPE_NWFPE is not set > > One kernel re-build later everything's doing now as expected.
Oh good. I just happen to know OABI has the old FPU as mandetory. That was one of the biggest reasons for the EABI to be created. -- Len Sorensen -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
