application: Perform system reset from panic handler if requested.
authorTilman Sauerbeck <tilman@code-monkey.de>
Sat, 4 Jan 2020 18:29:57 +0000 (19:29 +0100)
committerTilman Sauerbeck <tilman@code-monkey.de>
Mon, 6 Jan 2020 09:45:34 +0000 (10:45 +0100)
This is untested; I'm not sure if it would work at all.


No differences found