@@ -133,6 +133,19 @@ static void pnx4008_wdt_sys_reset(enum reboot_mode mode, const char *cmd)
/* Make sure WDT clocks are enabled */
writel(LPC32XX_CLKPWR_PWMCLK_WDOG_EN, LPC32XX_CLKPWR_TIMER_CLK_CTRL);
+ /*
+ * Verify if a "cmd" passed from the userspace program rebooting
+ * the system; if available, and handle it.
+ * - For details, see the 'reboot' syscall in kernel/reboot.c
+ * - If the received "cmd" is not supported, use the default mode.
+ */
+ if (cmd) {
+ if (cmd[0] == 'h')
+ mode = REBOOT_HARD;
+ else if (cmd[0] == 's')
+ mode = REBOOT_SOFT;
+ }
+
if (mode == REBOOT_SOFT) {
/* Force match output active */
writel(EXT_MATCH0, WDTIM_EMR(wdt_base));