ワークショップで使用したArduinoライクなサンプルプロジェクトを公開します。
以前に公開したプロジェクトの修正版です。
サンプルコードとして利用ください。
SHCのコンパイルオプションの最適化を無しにすると、hardware_setupのinit_global_constructorsでエラーを出します。
こちらも
#ifdef __GNUC__
で処理しておいた方がいいのではないでしょうか?。