Add support for Mbed OS CE#117

maxgerhardt merged 6 commits intomaxgerhardt:developmaxgerhardt/platform-raspberrypi:developfrom

multiplemonomials:dev/add-mbed-ce-supportmultiplemonomials/pio-platform-raspberrypi:dev/add-mbed-ce-supportCopy head branch name to clipboard