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

Revision:
67:19fbdbf3bb36
Parent:
66:e408ae75c632
Child:
68:6b419de492af
diff -r e408ae75c632 -r 19fbdbf3bb36 mbed-os.lib
--- a/mbed-os.lib	Thu May 10 05:15:08 2018 +0100
+++ b/mbed-os.lib	Tue May 22 11:00:02 2018 +0100
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#ae6c7c60f91c89cbf755a2f3c8ec9c66635849fd
+https://github.com/ARMmbed/mbed-os/#367dbdf5145f4d6aa3e483c147fe7bda1ce23a36