Creating the ‘intelligent edge’ with Azure IoT Edge

Build with Azure. Get free credit and 12 months of access to free products.
Start freeNicole and Olivier showcase how easy it is to use IoT Hub Device Provisioning Service to provision MXChip IoT Dev Kit to an IoT Hub.
i think i see the demo here already :) but how can i use similar to demo to my user group?
Where Can I find code example from the demo? Is it baremetal system or RTOS?
@Franio: it uses mbed but has an arduino compat layer to use those API, libs etc. You can find more on the demo in the device registration with DPS project.