O documento Desenvolvendo para a placa Tiva TM4C123GXL Launchpad apresenta informações necessárias para o desenvolvimento de software para a placa Tiva TM4C123GXL Launchpad.
O código correspondente pode ser obtido no repositório.
Desenvolvendo para a placa STM32L476G Discovery
O documento Desenvolvendo-para-a-Placa-STM32L476-Discovery apresenta informações necessárias para o desenvolvimento de software para sistemas embarcados, em especial, para o ARM Cortex M4, mais particularmente o SMT32L476.
O código fonte pode ser obtido do repositório.