Re: [PATCH] PANIC_REBOOT_WAIT_TIME

[Matthew Dillon]

:Hi,
:
:Here is a patch to move PANIC_REBOOT_WAIT_TIME option in platform
:independant options file.
:
:Cheers,

    Committed.

                                -Matt