Re: L4 reboots before trying to execute roottask
BERTRAND Joël <[email protected]> Sun, 16 Jun 2013 16:26:49 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
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.