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

mbed-os.lib

Committer:
mbed_official
Date:
2018-01-31
Revision:
58:d69d9e148365
Parent:
56:67611bfa061f
Child:
59:4c739d732e0d

File content as of revision 58:d69d9e148365:

https://github.com/ARMmbed/mbed-os/#caeaa49d68c67ee00275cece10cd88e0ed0f6ed3