[Patch] Re: L4 reboots before trying to execute roottask

BERTRAND Joël wrote:
> I think I have found a workaround. L4/X2 can be built with gcc-4.6, but
> gcc-4.7 or gcc-4.8 produce a non working kernel.
>
>

	Please apply this diff to build L4 with gcc 4.7.

--- a/src/generic/ctors.ldi
+++ b/src/generic/ctors.ldi
@@ -44,6 +44,8 @@
                 /* global static initializers */
                  __ctors_GLOBAL__ = .;
                 *(SORT(.ctors.1*))
+               *(.init_array)
+               *(SORT(.init_array.*))
                 *(SORT(.ctors.*))
                  *(.ctors)
                  QUAD(0)

	Regards,

	JKB