Microsemi Ocelot reset driver
modulename: ocelot-reset.ko
configname: CONFIG_POWER_RESET_OCELOT_RESET
Linux Kernel Configuration
└─>Device Drivers
└─>Board level reset or power off
└─>Microsemi Ocelot reset driver
In linux kernel since version 4.2 (release Date: 2015-08-30)
This driver supports restart for Microsemi Ocelot SoC.