Can we add a PWM module to port_io.c? I'm not sure how to do it, and I need it to write the motor and sensor drivers.
