Convert led/timer example to Waf.