So, I got it to work when I started from a new project. If someone else needs to do this in the future, the way I did it was by creating a new project and including the relevant drivers right away:

Then, I configured (in the pinmux tool) ADC_ETC to be triggered by the flexpwm signal and also configured the pins used for the ADC and PWM like so:

After this, I set up the PWM1 submodule 0 in the peripheral tools to be triggered by VAL2 (since I will only use PWM1A for this application):

Next, the XBAR configuration for the ADC_ETC was configured like this:

And lastly, the ADC:

Also note that all peripheral use the same clock source (here IPG_CLK_ROOT - BOARD_BootClockRUN: 150 MHz).
AN12214 was of great help as well as this article https://www.programmersought.com/article/84265106737/