I'm new to all of this, and would like to control GPIO ports on the board. Are there any examples/demos that show how to configure these pins as inputs/outputs and then read from or write to them? I come from the Arduino world where things are a little simpler, but I'm not afraid to get my hands dirty. I just need a step in the right direction (the KSDK demo programs aren't helpful in this regard as to using the GPIO ports). Any help would be very much appreciated.