Adam,
TMDSHVMTRPFCKIT comes with F28335 and F28035 controlCARDs, supported through controlSUITE. There are versions of the kit - exact same inverter PCB - that also ship with F28069M and F28027F controlCARDs and support F28054M controlCARD through MotorWare…