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

Alexis.

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

Reply via email to