How to determine PWM pins when not explicitly defined?

Other Hardware 3rd Party Boards
1

I'm thinking of using an ATtiny817 for a board as it fits my needs.

On Atmel's product listing the board is said to have 6 PWM channels. The datasheet, however, does not explicitly state which pins are PWM so far as I can tell.

As of right now, I'm assuming the pins labeled WOx in the table on page 10 are PWM because they correspond regularly with timers TCA, TCB, and TCD. Would this be correct? I can't seem to find what "WO" stands for...

2

Has somebody written an ATtiny817 core for the Arduino as that is the place to look for what pins they have defined for Arduino and from this the PWM pins.

The proper (full) datasheet to use is here.