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

Revision:
35:bb184e64b703
Parent:
34:7e1d08fa7968
Child:
36:a71a29786c47
diff -r 7e1d08fa7968 -r bb184e64b703 mbed-os.lib
--- a/mbed-os.lib	Thu Apr 27 16:45:02 2017 +0100
+++ b/mbed-os.lib	Wed May 10 12:00:02 2017 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#ed4febefdede4e88743ca12909b7bc9a3993889a
+https://github.com/ARMmbed/mbed-os/#8d21974ba35e04c4854e5090c0f8283171664175