See http://ohm.ninja/tiva-c-series-can-bus-with-mcp2551/
Talking between two Tiva C Series microcontrollers via CAN bus