Mbed OS example for Pelion Device Management using Cypress PSoC® 64 Secure Microcontroller - View it on GitHub