L4Ka. Regression with 4.7 and 4.8 ?

[BERTRAND Joël]

	Hello,

	I have bissected the code and found the faulty .o. I have attached 
assembly output. idt.gcc46.s is the good one. If L4 is linked with 
idt.gcc.47.s, it only reboots.

	L4 sources are available here : git://github.com/l4ka/pistachio.git

	Regards,

	JKB
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: idt.gcc46.s
URL: <https://gcc.gnu.org/pipermail/gcc-help/attachments/20130622/b1506e2d/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: idt.gcc47.s
URL: <https://gcc.gnu.org/pipermail/gcc-help/attachments/20130622/b1506e2d/attachment-0001.ksh>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: idt.cc
Type: text/x-c++src
Size: 4178 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-help/attachments/20130622/b1506e2d/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: idt.h
Type: text/x-chdr
Size: 2415 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-help/attachments/20130622/b1506e2d/attachment-0001.bin>