Please see Getting started --> Using mbed-OS pages