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

Revision:
77:9ffd4ddf037b
Parent:
76:b8641a51336e
Child:
78:fd6440fb9e59
--- a/mbed-os.lib	Fri Sep 14 13:15:02 2018 +0100
+++ b/mbed-os.lib	Wed Sep 26 13:30:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#949cb49ab0a144da0e3b04b6af46db0cd2a20d75
+https://github.com/ARMmbed/mbed-os/#610e35ddc6d59f153173c1e7b2748cf96d6c9bcd