missing pwm and wdt drivers for 2451

sfawzy
Dear FriendlyArm

The pwm driver and watchdog timer drivers are missing from mini2451 sdk can
you please provide the source code for them.