Hi,
I just tested it on freescale i.MX28 EVK and it's working fine again.
Thank you for fixing!

Martin

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

Reply via email to