> On 27 Mar 2014, at 15:03, Alexis Fajardo Moya <[email protected]> wrote:
> 
> Hi,
> El 27/03/14 09:59, Matthias Lange escribió:
>> 
>> Also, which cross toolchain are you using?
> I'm using the Code Sourcery toolchain version 2012.03

This one is ok.

Matthias.
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to