tree 507b89e8f56f99f15f7cf9b64f47fcaab49a1bec
parent 468f717d24710c37505dbbff9ae45384eccd3958
author John Newlin <jnewlin@google.com> 1374680468 -0700
committer John Newlin <jnewlin@google.com> 1374772652 -0700

Turn the LED red at boot time.

Change-Id: Ic48119eba1c6cd5ff069b75293dba71a2e0bf220