| 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 */
|
|
|