GCC 4.5.1 and L4Re

Adam Lackorzynski 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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list