Hi, David!
Indeed we have special framework package and a bit tricky build script for mbed, but we are going to rewrite it from scratch in PlatformIO 3.0. From previous versions, we have only v117.
Also, this topic about framework-mbed package may be useful.