B4J Question R-Pi Hardware PWM

I was doing some searching on the forum and found several threads that detail on how to setup the software PWM for use.

But i couldnt find anything on how to use the hardware PWM in B4J.

So, how do you use the hardware PWM on B4J? I need something around 18 to 20Khz frequency with at least 8 bits of resolution but not sure if the Pi can do it. I know the software pwm cannot.