The table in source/common.c currently names P8_19 as EHRPWM2A, which is correct, but this pin can also be muxed to GPIO and used as GPIO0_22. I don't think there's currently a way to represent both of these names in the table.

Attempting to use GPIO0_22 currently produces an exception with "failed: error return without exception set"

Is there a way we could get this pin to work under both names?