Please see below compatible development boards using mBed OS..
So far we cannot provide any schedule for this support, as we are evaluating it. I'll let you know when having further information.
Yes, it will be helpful for students if ARM Processors like ADuCM30xx is added to the mbed developer.
Retrieving data ...