Ok, so I went with option 2, used the wire harness (which allows pins 2, 3, 4, 5, 16, 17 to be free) and changed from pin 9 to pin 17 (thank you PF_0!) for PWM in the header below LM4F120 in EPD_PINOUT_Energia.h. Thanks!
Hi all, Based on reading the 430 forum and Github Energia/Pervasive issues lists, it appears that someone has successfully setup and tested the EPD Booster with Stellaris (LM4F120). I have acquired an older 2.7 Pervasive Display (which appears to require PWM) and booster board (version 1.5). Using Energia, I can successfully directly connect using my MSP430G2553 so I know the board/display is ok. I want to connect the EPD to my Stellaris -- since there is a PWM requirement, I believe I will need to use the wireharness (instead of direct connecting) and set up a macro for PWM to co