BBB How to enable PWM (Debian 12, Kernel 6.12) / starter images & resources

I am new to linux, and am using the image that came with the board out of the box. I was hoping to start by writing some simple user space programs and am running into issues with accessing the hardware. I am trying to generate a pwm signal on P9_14 using ehrpwm1a. I downloaded and compiled bb.org-overlays/src/arm/BB-PWM1-00A0.dts and enabled it as a custom cape in my /boot/uEnv.txt. I was able to set the duty cycle, confirmed it was enabled but got no output on that pin. /proc/device-tree/P9_14_PinMux showed as being disabled. Is the pinmux supposed to be disabled? If not how can I fix this? need I edit the dts file? Alternatively, could someone direct me to any images that have these overlays enabled and correctly muxed at boot or just refer me to a good resource for getting started that would cover this stuff. I’m kind of fumbling around in the dark right now.

Full stop, stop using the bb.org-overlays repo.

The pwm overlays are already pre installed.

This is the git branch under /opt/sources/dtb-v6.12.x/

Regards,