hola Fabri, lo traigo a pedido. Lo que si tengo es el micro, lpc1768, y el RMII (interfaz ethernet) lan8720, dado los costos de importacion y aduana, y que el firmware de mbed es libre para instalar en cualquier micro que lo soporte, te recomiendo, si es que podes, que te hagas tu plaquita y vas a pagar el 25% de lo que te saldra el mbed importado.
Saludos