arm: Enable REBOOT when RUNTIME_NMI is selected

This patch enables REBOOT when RUNTIME_NMI is selected via defconfig
file. This action is required to prevent compilation errors.

Change-Id: I67c18b2860ac34ba8f96e780737b4857a6063ece
Signed-off-by: Vincenzo Frascino <vincenzo.frascino@linaro.org>
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Vincenzo Frascino 2016-11-23 14:02:21 +00:00 committed by Anas Nashif
commit 9f04723439

View file

@ -135,6 +135,7 @@ config NUM_IRQ_PRIO_BITS
config RUNTIME_NMI
bool
prompt "Attach an NMI handler at runtime"
select REBOOT
default n
help
The kernel provides a simple NMI handler that simply hangs in a tight