Finns utgång för debbuger på den. Om det hjälper i detta fallet vet jag inte.
Tänk på att det är nytt så det kan vara fel i arduinokoden som körs mot Mbed och i Mbed själv.
Arduino kör inte direkt mot hårdvaran utan ovanpå Mbed som sedan går mot hårdvaran.