The repository will soon be updated for instructions how this Launchpad can be recognized as a Mbed-enabled device (mass-storage upload of binaries, running greentea-tests etc.).
Hello again,
I just updated the repository with information how to let this board look like Mbed enabled (download via Drag-n-Drop flash) and instructions how the run regular greentea tests on it. All 565 testcases pass
BR, Andreas