Watchdog driver for SVGM SBC under RTEMS - View it on GitHub