Index: firmware/include/load_kernel_fw.h |
diff --git a/firmware/include/load_kernel_fw.h b/firmware/include/load_kernel_fw.h |
index 4cca8bd57b58f6a1f6a9edb8ca3e0c2bf8b98cd3..16dade1fcd5ca5d7a7de0c6b3a3f96b11e56d93c 100644 |
--- a/firmware/include/load_kernel_fw.h |
+++ b/firmware/include/load_kernel_fw.h |
@@ -22,10 +22,14 @@ |
/* Boot flags for LoadKernel().boot_flags */ |
-#define BOOT_FLAG_DEVELOPER UINT64_C(0x01) /* Developer switch is on */ |
-#define BOOT_FLAG_RECOVERY UINT64_C(0x02) /* In recovery mode */ |
-#define BOOT_FLAG_SKIP_ADDR_CHECK UINT64_C(0x04) /* Skip check of kernel |
- * buffer address */ |
+/* Developer switch is on */ |
+#define BOOT_FLAG_DEVELOPER UINT64_C(0x01) |
+/* In recovery mode */ |
+#define BOOT_FLAG_RECOVERY UINT64_C(0x02) |
+/* Skip check of kernel buffer address */ |
+#define BOOT_FLAG_SKIP_ADDR_CHECK UINT64_C(0x04) |
+/* Active main firmware is developer-type, not normal-type or recovery-type. */ |
+#define BOOT_FLAG_DEV_FIRMWARE UINT64_C(0x08) |
typedef struct LoadKernelParams { |
/* Inputs to LoadKernel() */ |