Hi Barber,
The FSLMQX3.7 doesn't yet support the JM128 on-chip watchdog but it is supported in the MCF52259 code. I have tested it long ago but not recently as fyi.
If you look at the init_bsp.c file in the FSLMQX3.7/mqx/source/bsp/m52259evb _bsp_timer_isr() .
Hope this helps.
Regards,
David