Thanks for the pointer, the SDK documentation does provide a little insight into the switches, but I think I still need a reference manual for the board.
Concerning requesting the manual from the manufacturer: I thought NXP (Freescale) was the manufacturer... Is there a better channel to make the request?
Thanks again!