Understanding the TIVA GPIO