Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

Revision:
7:313938df05aa
Parent:
6:8a6a7901ca31
Child:
9:dd27ad588fe2
--- a/mbed-os.lib	Fri Aug 05 05:45:06 2016 +0100
+++ b/mbed-os.lib	Fri Aug 05 06:00:05 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/mbedmicro/mbed/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef
+https://github.com/ARMmbed/mbed-os/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef