TMS320F28P650DK: Trouble With PinMux When Setting Up ADC and EQEP Peripheral in Sysconfig

Tool/software:

I'm having trouble completing some of the labs on the C2K academy page, namely:

ADC lab (https://dev.ti.com/tirex/explore/content/c28x_academy_1_00_00_00/_build_c28x_academy_1_00_00_00/source/c2000_academy_labs/analog_subsystem/c2000_lab_adc.html)

EQEP lab (https://dev.ti.com/tirex/explore/content/c28x_academy_1_00_00_00/_build_c28x_academy_1_00_00_00/source/c2000_academy_labs/control_peripherals/c2000_lab_qep.html)

Setting up the ADC in Sysconfig gives me this error in the Pinmux menu. All options default to "Any" which gives an error. However, when I switch to specific GPIO names, it tells me that they're not pinned out on the F28P65x. The program does not work when I try to run it. I'm using C2000Ware 5.03, is this the right SDK for this project and device?

Similarly, when setting up an EQEP in Sysconfig, I also get errors in the Pinmux category.  The lab description claims that there should be an option labeled "J12" for EQEP_A, B, and I, however no such option comes up. The program runs fine but the EQEP doesn't seem to be picking up any signals.

I would greatly appreciate if I could get some help with clearing up this confusion. Resources I've found on the launchpad don't seem to give a clear answer as to why the device and the Sysconfig tool seem to be at a mismatch.