GCC 4.5.1 and L4Re
adam at os.inf.tu-dresden.de
Fri Dec 17 20:18:47 CET 2010
On Fri Dec 17, 2010 at 12:37:37 +0200, Taru Karttunen wrote:
> On Wed, 15 Dec 2010 23:53:54 +0100, Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> > Just tried 4.4 recently and that worked. Did you try 32bit or 4.4?
> 32bit 4.4.3 seems to work fine. I'll use that.
Ok good, nevertheless I would be interested, as a build with a vanilla
4.5.1 works for me, both 32 and 64 bit. Who has built the gcc (aka which
distro are you using)? Alternatively I would be interested in a ISO
(make grub1iso or make grub2iso) or image (make image).
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers