GCC 4.5.1 and L4Re

Taru Karttunen taruti at taruti.net
Fri Dec 17 11:37:37 CET 2010


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.

- Taru Karttunen




More information about the l4-hackers mailing list