MSP432 EMT core for the production silicon (RED LaunchPad only) - View it on GitHub