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.

source code:

depends
CONFIG_POWER_RESET
CONFIG_COMPILE_TEST or CONFIG_MSCC_OCELOT