safeBspMcuWatchdog

The module safeBspMcuWatchdog provides the S32K1xx MCU watchdog API.