Index: firmware/include/load_kernel_fw.h |
diff --git a/firmware/include/load_kernel_fw.h b/firmware/include/load_kernel_fw.h |
index 4f86b4032d5e020c08b337a9bb7fea837507bef0..31c30818359b4cd8d0ea824a7b5e503c11fa008a 100644 |
--- a/firmware/include/load_kernel_fw.h |
+++ b/firmware/include/load_kernel_fw.h |
@@ -18,6 +18,8 @@ |
#define LOAD_KERNEL_NOT_FOUND 1 /* No kernel found on device */ |
#define LOAD_KERNEL_INVALID 2 /* Only invalid kernels found on device */ |
#define LOAD_KERNEL_RECOVERY 3 /* Internal error; reboot to recovery mode */ |
+#define LOAD_KERNEL_REBOOT 4 /* Internal error; reboot to current mode */ |
+ |
/* Boot flags for LoadKernel().boot_flags */ |
#define BOOT_FLAG_DEVELOPER UINT64_C(0x01) /* Developer switch is on */ |