Reset Driver. More...
#include <bsp/raspberrypi.h>
#include <bsp/watchdog.h>
#include <bsp/bootcard.h>
Reset Driver.