кто разобрался с ядром вотчдог таймера opb_timebase_wdt и вотчдогом встроенным в PPC405????

как всё это работает???